검색결과 : 6건
| No. | Article |
|---|---|
| 1 |
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces Su R, van Schuppen JH, Rooda JE IEEE Transactions on Automatic Control, 57(1), 105, 2012 |
| 2 |
Dynamic Simulations of Single Molecule Enzyme Networks (vol 113, pg 5537, 2009) Armbruster D, Nagy JD, van de Rijt EAF, Rooda JE Journal of Physical Chemistry B, 115(23), 7708, 2011 |
| 3 |
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence Su R, van Schuppen JH, Rooda JE, Hofkamp AT Automatica, 46(6), 968, 2010 |
| 4 |
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction Su R, van Schuppen JH, Rooda JE IEEE Transactions on Automatic Control, 55(7), 1627, 2010 |
| 5 |
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis Su R, van Schuppen JH, Rooda JE IEEE Transactions on Automatic Control, 55(11), 2527, 2010 |
| 6 |
Dynamic Simulations of Single-Molecule Enzyme Networks Armbruster D, Nagy JD, van de Rijt EAF, Rooda JE Journal of Physical Chemistry B, 113(16), 5537, 2009 |