Formal methods in autonomous real-time systems
Group members:
- Jacek Malec, Ph.D, group leader.
- Simin Nadjm-Tehrani, Ph.D.
- Lin Man, M.Sc.
Short description of interests and achievements
Formal methods in embedded systems and autonomous robots.
The main interest of the group is in development of modelling,
analysis, and design techniques for reactive systems in
physical environments.
Several modelling and verification techniques have been studied,
developed and applied in the context of industrial cooperation projects.
Among these are discrete models (Statecharts, Esterel, I/O machines,
Transition systems, Petri nets, Rule-based systems),
hybrid models (incorporating both continuous and discrete elements:
Hybrid transition systems, Hybrid automata, Extended Duration Calculus),
as well as physical modelling techniques based on the
language of Bond graphs.
Last modified:
13-Sep-95 11:35