Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
نویسندگان
چکیده
منابع مشابه
Formal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملFormal Synthesis of Cyber-Physical Systems
This report documents the program and the outcomes of Dagstuhl Seminar 17201 “Formal Synthesis of Cyber-Physical Systems.” Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and fr...
متن کاملFormal Verification of Transportation Cyber Physical Systems
ion is the process of simplifying a simulation model to a more abstract (for example, reduced order) model for use in verification and other analysis. Performing automated model abstraction of large high-dimensional hybrid systems, and characterizing and quantifying the approximation and/or the abstraction function used to create the simpler model are challenging technical tasks. The abstract f...
متن کاملOptimization and control techniques for cyber-physical systems: a new paradigm
Our research tackles fundamental control problems on complex systems, known as cyber-physical systems, with a particular focus on the rich class known as switching systems. We show that using state-of the art optimization techniques, such as sum-of-squares programming, and taking into account the logical structure of the system, we may obtain powerful control tools for problems which, when aske...
متن کاملFormal Synthesis and Data-Driven Verification of Cyber-Physical Systems
OF THE DISSERTATION Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Enterprise Information Systems
سال: 2018
ISSN: 1751-7575,1751-7583
DOI: 10.1080/17517575.2018.1536807