Ashfaq Farooqui

Ashfaq Farooqui

Ph.D Student

Chalmers University of Technology

Biography

I am a PhD Student at the Department of Electrical Engineering at Chalmers University of Technology, Sweden. I received my MSc degree in Systems, Control, and Mechatronics in 2015 (Chalmers University, Sweden) and Bachelor degree in Electronics and Communication Engineering degree in 2012 (BMS Institute of Technology, India).

My research focuses on model-driven development, supervisory control, and formal analysis. I develop tools and techniques to support verifiably safe control of automated systems.

Interests

  • Model Inference
  • Supervisory Control
  • Formal Verification

Education

  • PhD in Electrical Engineering, 2021

    Chalmers University of Technology

  • MSc in Systems, Control, and Mechatronics, 2015

    Chalmers University of Technology

  • BSc in Electronics and Communication, 2012

    BMS Institute of Technology

News

2020-08 Our contribution Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development is accepted at MASE 2020, Montreal, Canada Online.

2020-03: Both our contributions, Active Learning of Modular Plant Models and Modular Supervisory Synthesis for UnknownPlant Models Using Active Learning are accepted and will be presented atWODES 2020,Rio, Brazil Online.

2019-12: Our contribution Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations has been published in International Journal of Production Research (IJPR) and can be accessed here.

2019-05: Our contribution Synthesis of Supervisors for Unknown Plant Models Using Active Learning has been accepted for CASE 2019, Vancouver, Canada.

2018-12: Our contribution From Factory Floor to Process Models: A Data Gathering Approach to Generate, Transform, and Visualize Manufacturing Processes has been accepted for publication in CIRP-JMST can be accessed here.

2018-5: Our work Towards Automatic Learning of Discrete-Event Models from Simulations has been accepted for CASE 2018, Munich, Germany.

2018-5: I shall discuss my licentiate thesis titled Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems in EDIT EB at 13:15 on August 27th.

2018-2: Our work Real-time Visualization of Robot Operation Sequences was accepted for INCOM 2018, Bergamo, Italy.

2016-6: Our work-in-progress paper Error handling within highly automated automotive industry: current practice and research Needs, has been accepted for ETFA 2016, Berlin, Germany.

2015-8-20: I present my master thesis on – Interfacing a collaborative robot and truck held at lunnerummet, EDIT on 20 August 11:00-12:00.

Projects