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.
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
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development