The mission of this online community of CPS architectures is to share research results on using cyber-physical system architectures to support design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
file
Abstract--This paper presents a new approach for leveraging the power of theorem provers for formal verification to provide sufficient conditions that can be checked on embedded control designs. Theorem provers are often most ecient when using generic models that abstract away many of the controller details, but with these abstract models very general conditions can be verified under which desirable properties such as safety can be guaranteed for the closed-loop system. We propose
file
Abstract--Current methods for designing cyber-physical systems lack a unifying framework due to the heterogeneous nature of the constituent models and their respective analysis and verification tools. There is a need for a formal representation of the relationships between the different models. Our approach is to
event
Submitted by arajhans on Mon, 04/16/2012 - 7:17pm
CPS Architectures