( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Class of Non-Deterministic Specifications for Supervisory Control.

, и . Eur. J. Control, 3 (1): 81-90 (1997)

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.

Martin Fabian

Martin Fabian

Martin Fabian

Martin Fabian

Fabian Klinck

 

Другие публикации лиц с тем же именем

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors., , , , , и . CoRR, (2020)Efficient supervisory synthesis of large systems, , и . Control Engineering Practice, 14 (10): 1157--1167 (октября 2006)Compositional coordinator synthesis of extended finite automata., , , , , и . Discret. Event Dyn. Syst., 31 (3): 317-348 (2021)Supervisory Control Synthesis of Timed Automata Using Forcible Events., , и . IEEE Trans. Autom. Control., 69 (2): 1074-1080 (февраля 2024)On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering., , , , и . IEEE Trans Autom. Sci. Eng., 18 (1): 369-381 (2021)Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs., , , и . CoRR, (2022)Modeling of discrete event systems using finite automata with variables., , и . CDC, стр. 3387-3392. IEEE, (2007)Comparative Case Studies of Reactive Synthesis and Supervisory Control., , , , и . ECC, стр. 1752-1759. IEEE, (2019)Coordination of batches in flexible production., , и . ACC, стр. 2735-2739. IEEE, (2000)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , и . ICRA, стр. 5607-5613. IEEE, (2019)