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.
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
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning