Application of CPS technologies deployed in military contexts.
video
Submitted by chizeck on Thu, 10/31/2013 - 2:51pm
video
Submitted by hzhang_cse on Thu, 10/31/2013 - 2:44pm
video
Submitted by feron on Wed, 10/30/2013 - 3:07pm
file
Abstract:
The objective of this research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: at a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame).Year 3 results are summarized in the following.
file
Abstract:
Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed--form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber--physical systems.
file
Abstract:
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.
file
Abstract:
Wireless sensor-actuator networks (WSAN) consist of numerous sensing and actuation devices that share information over an ad hoc wireless communication network. WSANs can be used to manage networked systems that distribute goods and services over large spatially distributed domains. Examples of such systems include the national power grid, ground/air traffic networks, and water/gas distribution networks.
file
Abstract:
Cyber-Physical Systems (CPS) encompass a large variety of systems including example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control.
