MIDES: A tool for Supervisor Synthesis via Active Learning 2021 17th IEEE International Conference on Automation Science and Engineering Ashfaq Farooqui
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development 2020 Modeling in Automotive System and Software Engineering Workshop Online Ashfaq Farooqui
Supervisory Control Theory; A classical AI approach to build reliable systems 2020 Alumni talk Online Ashfaq Farooqui
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning 2020 Workshop on Discrete Event Systems 2020 Online Ashfaq Farooqui
Active Learning of Modular Plant Models 2020 Workshop on Discrete Event Systems 2020 Online Ashfaq Farooqui
Synthesis of Supervisors for Unknown Plant Models Using Active Learning 2019 15th IEEE International Conference on Automation Science and Engineering University of British Columbia, Canada Ashfaq Farooqui
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems 2018 Licentiate Thesis EB Ashfaq Farooqui
Towards Automatic Learning of Discrete-Event Models from Simulation 2018 14th IEEE International Conference on Automation Science and Engineering TUM, Germany Ashfaq Farooqui
Real-time visualization of robot operation sequences 2017 16th IFAC Symposium on Information Control Problems in Manufacturing Ex Collegio Baroni Ashfaq Farooqui