Satarkar, G. S. N. (2020, November 9–21). Formal modeling, control, and real-time implementation of cyber-physical systems (Phase II). Two-week AICTE-sponsored online Faculty Development Programme, Department of Electrical & Electronics Engineering, V.S.B. Engineering College, Karur, Tamil Nadu, India.
Abstract
Satarkar, G. S. N. (2020, November 9–21). Formal modeling, control, and real-time implementation of cyber-physical systems (Phase II). Two-week AICTE-sponsored online Faculty Development Programme, Department of Electrical & Electronics Engineering, V.S.B. Engineering College, Karur, Tamil Nadu, India.
Fields of Study & Subjects
Formal Methods in Verification
Modeling and Simulation Systems
Real-Time Systems Scheduling
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 January 2026