Monitoring and control of cyber-physical systems.
File
Foundations Of Resilient CybEr-physical Systems (FORCES) - Shankar Sastry
S. Sastry Submitted by S. Sastry on October 18th, 2013
File
Designing-in Cyber Security - Darren Cofer
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.
Submitted by Darren Cofer on October 18th, 2013
File
A Substrate for CPS Design - Anuradha Annaswamy
Submitted by Anuradha Annaswamy on October 18th, 2013
File
MRI-guided Robotic Interventions and Surgeries - Nikolaos Tsekos
Nikolaos Tsekos Submitted by Nikolaos Tsekos on October 18th, 2013
File
Efficient Control Synthesis and Learning in Distributed CPS - Bert Tanner
Herbert Tanner Submitted by Herbert Tanner on October 17th, 2013
File
A New Computation Task Model for Cyber-Physical Systems - Kang Shin
Kang Shin Submitted by Kang Shin on October 17th, 2013
File
Embedded Fault Detection for Low-Cost,Safety-Critical Systems - Peter Seiler
Submitted by Peter Seiler on October 17th, 2013
File
Credible autocoding and model-based control design and validation - Eric Feron
Eric Feron Submitted by Eric Feron on October 17th, 2013
File
Formal Synthesis with Learning of Environmental Dynamics - Calin Belta
Calin Belta Submitted by Calin Belta on October 17th, 2013
File
Hardware-in-the-loop Simulation Testbed for Model-Based Control and Integration of Automotive CPS - Xenophon Koutsoukos
Xenofon Koutsoukos Submitted by Xenofon Koutsoukos on October 17th, 2013
Subscribe to Control