Recent & Upcoming Talks

2021

MIDES: A tool for Supervisor Synthesis via Active Learning

Aug 25, 2021 10:40 AM

Ashfaq Farooqui

On Supervisor Synthesis via Active Automata Learning

Jun 11, 2021 1:00 PM Online

Ashfaq Farooqui

2020

Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning

Nov 12, 2020 1:40 PM — 2:00 PM Online

Ashfaq Farooqui

Active Learning of Modular Plant Models

Nov 12, 2020 12:20 PM — 12:40 PM Online

Ashfaq Farooqui

Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development

Oct 16, 2020 1:40 PM — 1:58 PM Online

Ashfaq Farooqui

Supervisory Control Theory; A classical AI approach to build reliable systems

Apr 27, 2020 2:00 PM — 3:00 PM Online

Ashfaq Farooqui

2019

Synthesis of Supervisors for Unknown Plant Models Using Active Learning

Aug 24, 2019 1:15 PM University of British Columbia

Ashfaq Farooqui

2018

Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems

The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. The aim of this revolution is to …

Aug 27, 2018 1:15 PM — 2:15 PM EB

Ashfaq Farooqui

Project Project Slides

Towards Automatic Learning of Discrete-Event Models from Simulation

Aug 22, 2018 3:20 PM — 3:40 PM TUM

Ashfaq Farooqui

2017

Real-time visualization of robot operation sequences

Jun 11, 2017 6:10 PM — 6:30 PM Ex Collegio Baroni

Ashfaq Farooqui

2015

Interfacing a collaborative robot and truck

Distributed, modular application platform capable of interfacing truck, robot and technician to enable collaborative work between man and machine

Aug 25, 2015 3:00 PM

Ashfaq Farooqui, Martin Viktorsson

An introduction to ROS, the Robot Operating System

The Robot Operating System (ROS) [ros.org] is a flexible framework for writing robot software. It is a collection of tools, libraries, …

May 5, 2015 10:00 AM — 11:45 AM Lunnerummet (EDIT 3315),

Ashfaq Farooqui, Martin Viktorsson