Joanna M. van de Mortel-Fronczak

Available identifiers

zbMath Open van-de-mortel-fronczak.joanna-mMaRDI QIDQ351741

List of research outcomes

Publication	Date of Publication	Type
Supervisory controller synthesis and implementation for safety PLCs	2022-04-21	Paper
Compositional coordinator synthesis of extended finite automata	2021-12-09	Paper
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices	2020-10-07	Paper
Modeling for supervisor synthesis -- a lock-bridge combination case study	2020-09-01	Paper
Application of supervisory control theory to theme park vehicles	2013-07-09	Paper
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal	2005-10-17	Paper

Research outcomes over time

This page was built for person: Joanna M. van de Mortel-Fronczak