Application of CPS technologies deployed in military contexts.
file
Abstract:
Telerobotic systems, such as those used in rescue operations, remotely-operated vehicles or the next-generation robotic surgery, human operators interact with robots through a communi- cation network.
file
Abstract:
Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.
file
Abstract:
Today, the assembly of safety-critical software involves many distinct agents, including control engineers and software engineers. Due in part to the existing regulatory framework, little, if any, semantic information is passed from control engineers (who specify the real-time software) to software engineers (who implement the specifications). As a result, high-level, system-wide information is lost at the time of software assembly, and only during system validation do software specification and semantics re-appear.
file
Abstract:
The research is along two directions and a number of results have been published or submitted. Physical side: Algorithms have been developed to detect isotopes based on the ideas of group positive Lasso and the total least squares. Two papers have been either published or to appear in Radiation Measurements. Cyber-side: The research focused on detection of unknown sources.
file
Abstract:
More than a half million pieces of space debris are in low-Earth orbit, of which about 5% are considered a threat to operational satellites. Collisions, such as the one that occurred on February 10, 2009 between the decommissioned Russian military communications satellite Kosmos-2251 and a operational U.S. Iridium communications satellite, produce yet more debris, and the accumulation of space debris renders low-Earth orbit increasingly dangerous and un- usable.
file
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.
