MIDES: A tool for Supervisor Synthesis via Active Learning202117th IEEE International Conference on Automation Science and EngineeringAshfaq Farooqui
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development2020Modeling in Automotive System and Software Engineering WorkshopOnlineAshfaq Farooqui
Supervisory Control Theory; A classical AI approach to build reliable systems2020Alumni talkOnlineAshfaq Farooqui
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning2020Workshop on Discrete Event Systems 2020OnlineAshfaq Farooqui
Active Learning of Modular Plant Models2020Workshop on Discrete Event Systems 2020OnlineAshfaq Farooqui
Synthesis of Supervisors for Unknown Plant Models Using Active Learning201915th IEEE International Conference on Automation Science and EngineeringUniversity of British Columbia, CanadaAshfaq Farooqui
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems2018Licentiate ThesisEBAshfaq Farooqui
Towards Automatic Learning of Discrete-Event Models from Simulation201814th IEEE International Conference on Automation Science and EngineeringTUM, GermanyAshfaq Farooqui
Real-time visualization of robot operation sequences201716th IFAC Symposium on Information Control Problems in ManufacturingEx Collegio BaroniAshfaq Farooqui