Följ
Martin Fabian
Martin Fabian
Verifierad e-postadress på chalmers.se
Titel
Citeras av
Citeras av
År
Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems
K Akesson, M Fabian, H Flordal, R Malik
2006 8th International workshop on discrete event systems, 384-385, 2006
2752006
PLC-based implementation of supervisory control for discrete event systems
M Fabian, A Hellgren
Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No …, 1998
2561998
Modeling of discrete event systems using finite automata with variables
M Skoldstam, K Akesson, M Fabian
2007 46th IEEE Conference on Decision and Control, 3387-3392, 2007
2002007
Exploiting modularity for synthesis and verification of supervisors
K Åkesson, H Flordal, M Fabian
IFAC Proceedings Volumes 35 (1), 175-180, 2002
1112002
Compositional synthesis of maximally permissive supervisors using supervision equivalence
H Flordal, R Malik, M Fabian, K Åkesson
Discrete Event Dynamic Systems 17, 475-504, 2007
1042007
Sequence planning for integrated product, process and automation design
B Lennartson, K Bengtsson, C Yuan, K Andersson, M Fabian, P Falkman, ...
Ieee transactions on automation science and engineering 7 (4), 791-802, 2010
952010
Supremica—a tool for verification and synthesis of discrete event supervisors
K Akesson, M Fabian, H Flordal, A Vahidi
11th mediterranean conference on control and automation, 2003
932003
Efficient supervisory synthesis of large systems
A Vahidi, M Fabian, B Lennartson
Control engineering practice 14 (10), 1157-1167, 2006
882006
Supremica–an efficient tool for large-scale discrete event systems
R Malik, K Åkesson, H Flordal, M Fabian
IFAC-PapersOnLine 50 (1), 5794-5799, 2017
782017
A framework for compositional synthesis of modular nonblocking supervisors
S Mohajerani, R Malik, M Fabian
IEEE Transactions on Automatic Control 59 (1), 150-162, 2013
692013
On object oriented nondeterministic supervisory control
M Fabian
PQDT-Global, 1995
621995
Towards a truly flexible manufacturing system
A Adlemo, SA Andréasson, M Fabian, P Gullander, B Lennartsson
Control Engineering Practice 3 (4), 545-554, 1995
531995
Formal specification and verification of industrial control logic components
O Ljungkrantz, K Akesson, M Fabian, C Yuan
IEEE Transactions on Automation Science and Engineering 7 (3), 538-548, 2009
512009
Integrated virtual preparation and commissioning: supporting formal methods during automation systems development
M Dahl, K Bengtsson, P Bergagård, M Fabian, P Falkman
IFAC-PapersOnLine 49 (12), 1939-1944, 2016
482016
On the execution of sequential function charts
A Hellgren, M Fabian, B Lennartson
Control Engineering Practice 13 (10), 1283-1293, 2005
472005
Modelling and PLC-based implementation of modular supervisory control
A Hellgren, B Lennartson, M Fabian
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
462002
Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
H Flordal, M Fabian, K Åkesson, D Spensieri
Control Engineering Practice 15 (11), 1416-1426, 2007
452007
Digital twin for legacy systems: Simulation model testing and validation
A Khan, M Dahl, P Falkman, M Fabian
2018 IEEE 14th International Conference on Automation Science and …, 2018
442018
A framework for compositional nonblocking verification of extended finite-state machines
S Mohajerani, R Malik, M Fabian
Discrete Event Dynamic Systems 26, 33-84, 2016
432016
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
A Farooqui, K Bengtsson, P Falkman, M Fabian
International Journal of Production Research 58 (16), 4947-4963, 2020
412020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20