Martin Fabian
12 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Model properties for efficient synthesis of nonblocking modular supervisors
Martijn A. Goorden and others (2021) · Control Engineering Practice · Elsevier BV
No synthesis needed, we are alright already
Martijn A. Goorden and others (2019) · IEEE International Conference on Automation Science and Engineering (CASE)
Compositional synthesis of supervisors in the form of state machines and state maps
Sahar Mohajerani and others (2017) · Automatica · Elsevier BV
Application of formal verification to the lane change module of an autonomous vehicle
Anton Zita and others (2017) · IEEE International Conference on Automation Science and Engineering (CASE)
A framework for compositional nonblocking verification of extended finite-state machines
Sahar Mohajerani and others (2016) · Discrete Event Dynamic Systems · Springer Science+Business Media
Supervisory Control of Manufacturing Systems Using Extended Finite Automata
Martin Fabian and others (2014) · Industrial information technology series · CRC Press
Nondeterminism avoidance in compositional synthesis of discrete event systems
Sahar Mohajerani and others (2011) · 2011 IEEE International Conference on Automation Science and Engineering · IEEE
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Hugo Flordal and others (2007) · Discrete Event Dynamic Systems · Springer Science+Business Media
Modeling of discrete event systems using finite automata with variables
Markus Sköldstam and others (2007) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers
Efficient supervisory synthesis of large systems
Arash Vahidi and others (2006) · Control Engineering Practice · Elsevier BV
EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS
Knut Åkesson and others (2002) · IFAC Proceedings Volumes · Elsevier BV
On non-deterministic supervisory control
Martin Fabian and others (1996) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers