PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fabian, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
State-vector transition model applied to supervisory control.

, , , , , and . ETFA, page 1-8. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabian Schnelle

Design and programming for cable-driven parallel robots in the German pavilion at the EXPO 2015, , , and . Machines, 3 (3): 223-241 (2015)

Dr. Fabian Schubö University of Stuttgart

Fabian Silber University of Stuttgart

Fabian Hampp University of Stuttgart

Fabian Marquardt University of Stuttgart

 

Other publications of authors with the same name

Generation of restart states for manufacturing systems with discarded workpieces., , , and . CASE, page 191-196. IEEE, (2009)Nondeterminism avoidance in compositional synthesis of discrete event systems., , and . CASE, page 19-24. IEEE, (2011)Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence., , , and . Discrete Event Dynamic Systems, 17 (4): 475-504 (2007)A Framework for Compositional Synthesis of Modular Nonblocking Supervisors., , and . IEEE Trans. Automat. Contr., 59 (1): 150-162 (2014)An empirical study of control logic specifications for programmable logic controllers., , , and . Empirical Software Engineering, 19 (3): 655-677 (2014)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , and . ICRA, page 5607-5613. IEEE, (2019)Comparative Case Studies of Reactive Synthesis and Supervisory Control., , , , and . ECC, page 1752-1759. IEEE, (2019)Testing Safety PLCs Using QuickCheck., , , , and . CASE, page 1-6. IEEE, (2019)On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering., , , , and . CASE, page 1004-1009. IEEE, (2019)Digital Twin for Legacy Systems: Simulation Model Testing and Validation., , , and . CASE, page 421-426. IEEE, (2018)