Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) represent major technology shifts that drive convergence between engineering and information technology. The rapidly growing wave of products require automation of heterogeneous CPS design flows that crosscut several discipline-oriented design verticals grounded in physical and information sciences. This new workshop will focus on co-design methods, horizontal integration platforms for domain-specific models and tools, and the incorporation of advanced data analytics tools in design flows for enabling and accelerating the advent of new design automation approaches that are both physical and computational. Topics will also cover initial results addressing the needs of the upcoming wave of autonomous systems incorporating learning-enabled components that demand a tighter integration of design-time methods and tools into operation, as well as novel verification methods given the intrinsic limitation of learning approaches when it comes to safety guarantees.
Proceeding Downloads
Model-based design for CPS with learning-enabled components
- Charles Hartsell,
- Nagabhushan Mahadevan,
- Shreyas Ramakrishna,
- Abhishek Dubey,
- Theodore Bapty,
- Taylor Johnson,
- Xenofon Koutsoukos,
- Janos Sztipanovits,
- Gabor Karsai
Recent advances in machine learning led to the appearance of Learning-Enabled Components (LECs) in Cyber-Physical Systems. LECs are being evaluated and used for various, complex functions including perception and control. However, very little tool ...
Simulation integration platforms for cyber-physical systems
- Himanshu Neema,
- Janos Sztipanovits,
- Cornelius Steinbrink,
- Thomas Raub,
- Bastian Cornelsen,
- Sebastian Lehnhoff
Simulation-based analysis is essential in the model-based design process of Cyber-Physical Systems (CPS). Since heterogeneity is inherent to CPS, virtual prototyping of CPS designs and the simulation of their behavior in various environments typically ...
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling
The application of digital control in the automotive domain clearly follows an evolution with increasing complexity of both covered functions and their interaction. Advanced Driver Assistance Systems (ADAS) and Automated Driving (AD) functions comprise ...
Autonomous waypoints planning and trajectory generation for multi-rotor UAVs
Autonomous trajectory generation in a complex environment is a challenging task for multi-rotor unmanned aerial vehicles (UAVs), which have high maneuverability in three-dimensional motion. Safe and effective operations for these UAVs demand obstacle ...
Optimization techniques for time-critical cyber-physical systems
Cyber-Physical Systems (CPS) are often deployed in critical applications subject to strict timing constraints. To guarantee their timing correctness, much of the effort has been dedicated to the development of validation and verification methods for CPS ...
Exploring weakly-hard paradigm for networked systems
Networked systems have shown great promises in various cyber-physical applications, such as automotive and transportation systems, smart buildings and infrastructures, and robotic systems. As these systems employ advanced components and interact closely ...
Demo: a design studio for verification tools
It is often the case that analysis, simulation and verification tools from different sources share a lot of commonalities. Even though the syntax might differ, the semantics of the input models are many times the same. Theoretically this means that ...
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers
This abstract presents Verisig, a scalable tool for verifying safety properties of closed-loop systems with neural network (NN) controllers. Verisig transforms the NN into an equivalent hybrid system and composes this hybrid system with the plant's. ...
- Proceedings of the Workshop on Design Automation for CPS and IoT
Recommendations
CPSIoTSec '22: 4th Workshop on CPS & IoT Security and Privacy
CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications SecurityThere is a rapidly growing interest in the security of cyber-physical systems (CPS) and internet-of-things (IoT) in industry, government and academia. This interest is also reflected in this workshop that from 2019 has been part of the ACM Conference on ...