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
Restarting Manufacturing Systems; Restart States and Restartability.

, , and . IEEE Trans. Automation Science and Engineering, 7 (3): 486-499 (2010)

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

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence., , , and . Discrete Event Dynamic Systems, 17 (4): 475-504 (2007)Nondeterminism avoidance in compositional synthesis of discrete event systems., , and . CASE, page 19-24. IEEE, (2011)Generation of restart states for manufacturing systems with discarded workpieces., , , and . CASE, page 191-196. IEEE, (2009)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)Comparative Case Studies of Reactive Synthesis and Supervisory Control., , , , and . ECC, page 1752-1759. IEEE, (2019)Digital Twin for Legacy Systems: Simulation Model Testing and Validation., , , and . CASE, page 421-426. IEEE, (2018)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)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , and . ICRA, page 5607-5613. IEEE, (2019)