hybrid systems

file

Visible to the public Differential Radical Invariants: Safety Verification and Design of Correct Hybrid Systems

Submitted by kghorbal on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

The verification of hybrid systems requires ways of handling both the discrete and continuous dynamics, e.g., by proofs, abstraction, or approximation. Fundamentally, however, the study of the safety of hybrid systems can be shown to reduce constructively to the problem of generating invariants for their differ- ential equations. We recently focused on this core problem. We study the case of algebraic invariant equation, i.e. invariants described by a polynomial equation of the form p = 0 for a polynomial p.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

file

Visible to the public A Cyber Physical Framework for Remedial Action Schemes in Large Power Networks

Submitted by Kevin Tomsovic on Thu, 11/06/2014 - 1:09pm. Contributor:

Abstract:

Despite the integration of advanced cyber technologies in monitoring and communication in electric power networks, design and development of control systems, and in particular, Remedial Action Schemes (RAS) tend to evolve at a very slow pace. The objective of this research is to study new distributed system modeling techniques to faithfully capture the physical and communication system characteristics as well as the "wave" like propagation of some disturbances.