On Supervisor Synthesis via Active Automata Learning
Jun 11, 2021 1:00 PM
I am interested in the high level control of system of systems and everything attached.
An introduction to ROS, the Robot Operating System
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Supervisory Control Theory; A classical AI approach to build reliable systems
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning
Active Learning of Modular Plant Models