MIDES: A tool for Supervisor Synthesis via Active Learning
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
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
Synthesis of Supervisors for Unknown Plant Models Using Active Learning
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Towards Automatic Learning of Discrete-Event Models from Simulation
Real-time visualization of robot operation sequences
Interfacing a collaborative robot and truck
An introduction to ROS, the Robot Operating System
Product development with freedom hardware
A talk on product development with free hardware for around 150 students, late January 2013.
Workshop: OpenCV
An invited OpenCV workshop on 24 November 2012.
Freedom Hardware talk at Tuxedo
An invited talk on freedom hardware at Tuxedo, a state-level FOSS fest, on 4 November 2012.
Freedom Hardware Symposium
Talks, a day-long project exhibition and a PCB design workshop on 22 September 2012, attended by more than 200 students.
Workshop: Arduino Programming
A one-day workshop on 28 April 2012 for around 120 students, with theory and practical sessions and take-away boards.
Workshop: Arduino + Line Follower
A one-day workshop on 15 April 2012 for around 30 students, with theory and practical sessions and take-away robots.
Workshop: Line Follower Robotics
A one-day workshop on 10 March 2012 for around 120 students, with theory and practical sessions and take-away robots.
Workshop: Object Avoider Robotics
A one-day workshop on 26 March 2011 for around 120 students, with theory and practical sessions and take-away robots.