Submit a Post Online Course on Formal Verification of Cyber-Physical Systems by NIT Jalandhar [Sep 11-15]: Registrations Open - Noticebard

Online Course on Formal Verification of Cyber-Physical Systems by NIT Jalandhar [Sep 11-15]: Registrations Open

Share on facebook
Facebook
Share on twitter
Twitter
Share on whatsapp
WhatsApp
Share on linkedin
LinkedIn
Share on email
Email
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.

Topics

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
Registration
  • 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
Contact

DrLalatendu Behera
Mobile: +91-90401-09875
E-mail: beheral[at]nitj.ac.in

Dr Kunwar Pal
Mobile: +91-83393-84185
E-mail: kunwarp[at]nitj.ac.in

Online Course on Formal Verification of Cyber-Physical Systems by NIT Jalandhar.

Disclaimer : We try to ensure that the information we post on Noticebard.com is accurate. However, despite our best efforts, some of the content may contain errors. You can trust us, but please conduct your own checks too.

Share on facebook
Facebook
Share on twitter
Twitter
Share on whatsapp
WhatsApp
Share on linkedin
LinkedIn
Share on email
Email

Leave a Comment

x