AI Lecture 9: Formal Design of Embedded Systems
Artificial Intelligence Lecture 9- Speaker: Prof. Naijun Zhan (Institute of Software, CAS)
- Host: Yisong Wang (Guizhou University)
- Time: December 4, 2023 (Monday), 11:00–11:30
- Venue: Room 402, Administration Building No. 2, Guizhou University
Abstract
The lecture presents model-based formal design of embedded systems, including translations between Simulink/Stateflow and HCSP, Hybrid Hoare Logic verification, co-simulation, approximate bisimulation, and the MARS toolchain.
Speaker biography
Prof. Zhan is a research professor at the Institute of Software, Chinese Academy of Sciences. His interests include real-time and hybrid systems, program verification, modal and temporal logics, and concurrent computation.
Yisong Wang
Professor
Professor at the College of Computer Science and Technology, Guizhou University． His main research interests include knowledge representation andreasoning,machine learning and artificial intelligence．