Abstract: This research proposal focuses on event-­‐based information acquisition, state estimation and control in the context of high dimensional cyber physical systems. In particular, as part of the cyber system a (set of) decision maker(s) or agents is responsible for the acquisition of information, learning, and control about the underlying physical system of interest. The information acquisition process may be instigated or adapted based on events in the systems.

Abstract: The present day technology falls short in offering centimeter scale mobile robots that can function effectively under unknown and dynamic environmental conditions. Insects, on the other hand, exhibit an unmatched ability to navigate through a wide variety of environments and overcome perturbations by successfully maintaining control and stability.

Abstract: This cross-disciplinary project brings together a team of engineering and computer science researchers to create, validate, and demonstrate the value of new techniques for ensuring that systems composed of combinations of hardware, software, and people are designed to operate in a truly synergistic and safe fashion.

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.

Logical Foundations of Cyber-Physical Systems CPS are Multi-dynamical Systems Dynamic Logic of Multi-dynamical Systems Proofs for CPS Theory of CPS   Soundness and Completeness   Differential Invariants Applications Summary

Darren Cofer is a Principal Systems Engineer with Rockwell Collinsí 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.