( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Road Ahead for Supervisor Synthesis.

, , , , , , , , , , и . SETTA, том 12153 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2020)

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.

Abraham ˜van deœ Beek

Gregor ˜van derœ Beek

Gregor ˜van derœ Beek

D A Nowak

Bernd Beek

 

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

Index Reduction and Discontinuity Handling Using Substitute Equations, , и . Mathematical and Computer Modelling of Dynamical Systems, 7 (2): 173--187 (2001)Process Algebra., , и . Handbook of Dynamic System Modeling, Chapman and Hall/CRC, (2007)A process-theoretic approach to supervisory control theory., , , , и . ACC, стр. 4496-4501. IEEE, (2011)CIF 3: Model-Based Engineering of Supervisory Controllers., , , , , , и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 575-580. Springer, (2014)Formal Semantics of Hybrid Chi., , , , и . FORMATS, том 2791 из Lecture Notes in Computer Science, стр. 151-165. Springer, (2003)A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines., , и . EUROSIM, стр. 1029-1034. Elsevier, (1995)Convex equations and differential inclusions in hybrid systems., , , и . CDC, стр. 1424-1429. IEEE, (2004)Verification of timed chi models using uppaal., , , и . ICINCO, стр. 486-492. INSTICC Press, (2005)Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator., , и . ESM, стр. 252-256. SCS Europe, (1998)Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors., , , и . WODES, стр. 14-21. IEEE, (2016)