J.M. (Asia) van de Mortel-Fronczak

dr.ir.

  • 185 Citations
1983 …2019
If you made any changes in Pure these will be visible here soon.

Personal profile

Quote

“Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably.”

Research profile

Asia van de Mortel-Fronczak is an Assistant Professor at the Mechanical Engineering Department at Eindhoven University of Technology (TU/e). Her research interests are related to model-based engineering and synthesis of supervisory control systems. This includes modelling and simulation of discrete-event continuous-time and hybrid systems, formulating and solving supervisory control problems, formal model-based analysis and verification of supervisory control systems.

Model-based design and analysis of supervisory control including the interfaces with continuous-variable resource control play an important role in the context of cyber-physical systems, such as wafer scanners, high-volume printers, vehicles equipped with ADAS functionality or dynamic traffic infrastructure (water locks, moveable bridges and tunnels). To this end, formal models and formal system specifications provide a sound foundation because they can guarantee the correctness of the design and support automatic generation of real-time implementations. Additionally, using this way of working can substantially reduce the development time.

Academic background

Asia van de Mortel-Fronczak received an MSc from the AGH University of Science and Technology (Cracow, Poland) in 1982 and her PhD degree from TU/e under supervision of Prof. Martin Rem in 1993, both in Computer Science. She was a research assistant at AGH University of Science and Technology and the TU/e, Department of Mathematics and Computer Science. Subsequently, she was a post-doctoral research fellow at TU/e Department of Mechanical Engineering, where she became Assistant Professor in 1997. From 2007 to 2008, she carried out research at ASML.

Asia’s educational activities include giving Bachelor College and Graduate School courses, and supervising BSc (35 completed), MSc (60 completed) and PhD students (8 completed), and PDEng trainees (10 completed). Asia is a reviewer for Computers in Industry, IEEE TAC, IEEE TII, IEEE THMS, International Journal of Advanced Robotic Systems, and International Journal of Advanced Manufacturing Technology. 

Affiliated with

  • High Tech Systems Center

Partners in (semi-)industry 

  • RWS
  • ASML
  • TNO

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1983 2019

2 Citations (Scopus)

Systematic model-based design of supervisors for advanced driver assistance systems

Korssen, T., Dolk, V. S., van de Mortel - Fronczak, J. M., Reniers, M. A. & Heemels, W. P. M. H., Feb 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 2, p. 533-544

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Advanced driver assistance systems
Supervisory personnel
Cruise control
Adaptive cruise control
Discrete event simulation
35 Citations (Scopus)

Application of supervisory control theory to theme park vehicles

Forschelen, S. T. J., Mortel - Fronczak, van de, J. M., Su, R. & Rooda, J. E., 2012, In : Discrete Event Dynamic Systems. 22, 4, p. 511-540 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Supervisory Control
Control theory
Control Theory
Supervisory personnel
Engineering
4 Citations (Scopus)

Estimating and quantifying the impact of using models for integration and testing

Braspenning, N. C. W. M., Boumen, R., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2011, In : Computers in Industry. 62, 1, p. 65-77

Research output: Contribution to journalArticleAcademicpeer-review

Testing
Costs
Profitability
9 Citations (Scopus)

Integration and test sequencing for complex systems

Boumen, R., Jong, de, I. S. M., Mestrom, J. M. G., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2009, In : IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans. 39, 1, p. 177-187

Research output: Contribution to journalArticleAcademicpeer-review

Large scale systems
Mathematical models
17 Citations (Scopus)

Hierarchical test sequencing for complex systems

Boumen, R., Ruan, S., Jong, de, I. S. M., Mortel - Fronczak, van de, J. M., Rooda, J. E. & Pattipati, K. R., 2009, In : IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans. 39, 3, p. 640-649

Research output: Contribution to journalArticleAcademicpeer-review

Large scale systems
Testing

Courses

Student theses

Auto code generation methods and tools for low cost automotive software development

Author: Subramaniam, V., 31 Aug 2016

Supervisor: Steinbuch, M. (Supervisor 1), van de Mortel - Fronczak, J. (Supervisor 2) & Romijn, M. (External person) (External coach)

Student thesis: Master

Comparison of different control architectures for a flexible manufacturing cell

Author: Verbocht, J., 31 Mar 1998

Supervisor: Rooda, J. (Supervisor 1) & van de Mortel - Fronczak, J. (Supervisor 2)

Student thesis: Master

Decentralised optimisation of large scale electric vehicle charging strategies

Author: Janson, B., 31 Dec 2013

Supervisor: Slootweg, J. (Supervisor 1), van de Mortel - Fronczak, J. (Supervisor 2), Nguyen, H. (Supervisor 2) & Vonk, B. (Supervisor 2)

Student thesis: Master

Derivation of calibration sequences using model checking

Author: Lam, J., 31 Jan 2007

Supervisor: Baeten, J. (Supervisor 1), van de Mortel - Fronczak, J. (Supervisor 2), Stoets, M. (Supervisor 2) & Bortnik, E. (Supervisor 2)

Student thesis: Master

Design and implementation of a control system for the SMT-factory model

Author: Hendriks, K., 31 Jan 2003

Supervisor: Rooda, J. (Supervisor 1), van de Mortel - Fronczak, J. (Supervisor 2) & van Rooy, H. (Supervisor 2)

Student thesis: Master