Design, development and manufacture of motor vehicles, towed vehicles, motorcycles and mopeds.
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
Submitted by Andre Platzer on October 18th, 2013
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
Submitted by Anuradha Annaswamy on October 18th, 2013
File
Formally Analyzing Human-User Interactions with Cyber-Physical Systems - Sriram Sankaranarayanan
Submitted by Sriram Sankaranarayanan on October 18th, 2013
Submitted by Kang Shin on October 17th, 2013
Submitted by Xenofon Koutsoukos on October 17th, 2013
Submitted by LTC Nathan Wiedenman on October 17th, 2013
Submitted by Bill Milam on October 17th, 2013
Event
WFCS 2014
10th IEEE International Workshop on Factory Communication Systems
Scope
The WFCS workshop is the largest IEEE technical event specially dedicated to industrial communication systems. The aim of this workshop is to provide a forum for researchers, practitioners and developers to review current trends in this area and to present and discuss new ideas and new research directions.
Submitted by Anonymous on October 15th, 2013
Event
ICESS'13
The 10th IEEE International Conference on Embedded Software and Systems (ICESS) 2013
Embedded software and systems are closely related to our daily life, which reside from smart appliances to unmanned trains. As the fastest growing industry, embedded systems will have great societal and environmental impacts. Therefore, the design and implementation of safe and efficient embedded software and systems have utmost importance.
Submitted by Anonymous on September 27th, 2013