About the Course
Cyber-physical systems (CPS) result from a tight integration of computing and networking technologies with the physical world. Such systems are at the heart of technological innovations in diverse industries such as aerospace, automotive, manufacturing, robotics and healthcare.
The course will introduce the fundamentals of modeling cyber-physical systems (CPS) consisting of both discrete and continuous dynamics through several examples.
It will provide an overview of design automation and verification problems and the related decidability and complexity results. The participants will get exposure to state-of-the-art algorithms for analyzing CPS. We hope this course will serve as a platform for exchanging ideas, knowledge, skills, and experiences among participants and experts relevant to the addressed areas.
The substance of this course provides the scientific basis for regulations and standards that make vehicles and autonomous systems safer, more secure and can also help them meet privacy and fairness expectations. The topics to be covered in this STC are as follows:
- Modeling Discrete System
- LTL/CPL Specification and ModelChecking
- Hybrid Automata
- Dynamical System
- Stability Analysis
- Timed Automata
- Timed to rectangular hybrid automata
- Simulation driven verification
- Formal Synthesis
- Embedded Systems
- Interested candidates can register online via this page.
- No registration fee for attending STC
- Timings: Session1- 10:30 AM – 12.30 PM and Session2- 02.00PM –04:00 PM
Dr Kunwar Pal