Supervisory Control Theory; A classical AI approach to build reliable systems
Apr 27, 2020 2:00 PM — 3:00 PM
I am interested in the high level control of system of systems and everything attached.
MIDES: A tool for Supervisor Synthesis via Active Learning
On Supervisor Synthesis via Active Automata Learning
An introduction to ROS, the Robot Operating System
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Active Learning of Modular Plant Models