A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file
Abstract:
When mechanical linkages are replaced by electronic communication and control systems, certain undesirable phenomena can arise that may be difficult to anticipate. In simple cases the lack of dissipativity in the cyber link unmasks instabilities that were present but suppressed in the system with a mechanical (physical) link. In more complex cases, there may be no simple physical equivalent to the system containing the cyber link, and a damping coefficient or dissipative element may not be identifiable.
file
Abstract:
The objective of this study is to develop a high-performance and robust neural-machine interface (NMI) for artificial legs, which can accurately and reliably identify user intent in real-time.
file
Abstract:
Motivation: Energy infrastructure is a critical underpinning of modern society. To ensure its reliable operation, a nation--wide or continent--wide situational awareness system is essential to provide high--resolution understanding of the system dynamics such that proper actions can be taken in real--time in response to power system disturbances and to avoid cascading blackouts. The power grid represents a typical highly dynamic cyber--physical system (CPS).
file
Abstract:
Critical infrastructure systems - electricity grids, transportation networks, gas and water distribution networks - serve the needs of millions of people with extraordinary reliability. These large-scale systems comprise 106 108 individual elements (humans and hardware) whose actions are inconsequential in isolation but profoundly important in aggregate. This proposal focuses on coordination of these elements in smart infrastructure systems with integrated ubiquitous sensing, communications, computation, and control.
file
Abstract:
This project's objective is to enable assertion--driven development and debugging cyber-- physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.
file
Abstract:
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.
file
Abstract:
The objective of this NSF-CPS Synergy proposal is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.
file
Abstract:
Ongoing breakthroughs in nationally important research areas like Verification and Artificial Intelligence depend on continuing advances in high-performance automated theorem proving tools. The typical use of these tools is as backends: application problems are translated by an application tool into (typically very large and complex) logic formulas, which are then handed off to a logic solver. Different tradeoffs between linguistic expressiveness and the difficulty of solving the resulting problems give rise to different logics.
