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.
MIDES: A tool for Supervisor Synthesis via Active Learning
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
Active Learning of Modular Plant Models