Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction von Rong Su, van Schuppen, Jan H, Rooda, Jacobus E

Volltext

Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis von Rong Su, van Schuppen, Jan H, Rooda, J E

Volltext

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems von Su, Rong, van Schuppen, Jan H., Rooda, Jacobus E.

Volltext

Bridging the gap between requirements engineering and systems architecting: the Elephant Specification Language von Wilschut, Tim, Hofkamp, Albert T., Schuijbroek, Tiemen J. L., Etman, L. F. Pascal, Rooda, Jacobus E.

Volltext

The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces von Rong Su, van Schuppen, J. H., Rooda, J. E.

Volltext

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays von Moormann, Lars, Schouten, Reinier H. J., Mortel-Fronczak, Joanna M. van de, Fokkink, Wan J., Rooda, Jacobus E.

Volltext

Modeling for supervisor synthesis – a lock-bridge combination case study von Reijnen, Ferdie F. H., Goorden, Martijn A., van de Mortel-Fronczak, Joanna M., Rooda, Jacobus E.

Volltext

Supervisory controller synthesis and implementation for safety PLCs von Reijnen, Ferdie F. H., Erens, Toby R., van de Mortel-Fronczak, Joanna M., Rooda, Jacobus E.

Volltext

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence von Su, Rong, van Schuppen, Jan H., Rooda, Jacobus E., Hofkamp, Albert T.

Volltext

Compositional coordinator synthesis of extended finite automata von Goorden, Martijn A., Fabian, Martin, van de Mortel-Fronczak, Joanna M., Reniers, Michel A., Fokkink, Wan J., Rooda, Jacobus E.

Volltext

The effect of dynamic worker behavior on flow line performance von Digiesi, Salvatore, Kock, Ad A.A., Mummolo, Giovanni, Rooda, Jacobus E.

Volltext

Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously von Lefeber, Erjen, Lämmer, Stefan, Rooda, Jacobus E.

Volltext

Alterations in Cardiac Sarcoplasmic Reticulum Calcium Transport in the Postischemic “Stunned” Myocardium von Krause, Stephen M, Jacobus, William E, Becker, Lewis C

Volltext

Model properties for efficient synthesis of nonblocking modular supervisors von Goorden, Martijn, van de Mortel-Fronczak, Joanna, Reniers, Michel, Fabian, Martin, Fokkink, Wan, Rooda, Jacobus

Volltext

Inhibition of the creatine kinase reaction decreases the contractile reserve of isolated rat hearts von Hamman, B. L, Bittl, J. A, Jacobus, W. E, Allen, P. D, Spencer, R. S, Tian, R, Ingwall, J. S

Volltext

Application of supervisory control theory to theme park vehicles von Forschelen, Stefan T. J., van de Mortel-Fronczak, Joanna M., Su, Rong, Rooda, Jacobus E.

Volltext

Dechlorination of Chlorinated Benzenes by an Anaerobic Microbial Consortium That Selectively Mediates the Thermodynamic Most Favorable Reactions von Beurskens, Jacobus E. M, Dekker, Connie G. C, van den Heuvel, Henny, Swart, Martien, de Wolf, Johan, Dolfing, Jan

Volltext

Enhanced streaming services in a content distribution network von Cranor, C.D., Green, M., Kalmanek, C., Shur, D., Sibal, S., Van der Merwe, J.E., Sreenan, C.J.

Volltext

Evidence for trans-generational medication in nature von Lefèvre, Thierry, Oliver, Lindsay, Hunter, Mark D., De Roode, Jacobus C.

Volltext

The Tempest-a practical framework for network programmability von van der Merwe, J.E., Rooney, S., Leslie, L., Crosby, S.

Volltext