j.e. rooda
j.e. rooda
hoogleraar Systems Engineering, Eindhoven University of Technology
Verifierad e-postadress på tue.nl
Titel
Citeras av
Citeras av
År
Application of supervisory control theory to theme park vehicles
STJ Forschelen, JM van de Mortel-Fronczak, R Su, JE Rooda
Discrete Event Dynamic Systems 22 (4), 511-540, 2012
532012
Model abstraction of nondeterministic finite-state automata in supervisor synthesis
R Su, JH van Schuppen, JE Rooda
IEEE Transactions on automatic control 55 (11), 2527-2541, 2010
522010
Modeling, validation and control of manufacturing systems
E Lefeber, RA Van Den Berg, JE Rooda
Proceedings of the 2004 American Control Conference 5, 4583-4588, 2004
502004
A state-based framework for supervisory control synthesis and verification
J Markovski, DA van Beek, RJM Theunissen, KGM Jacobs, JE Rooda
49th IEEE Conference on Decision and Control (CDC), 3481-3486, 2010
442010
Framework for sequential approximate optimization
JH Jacobs, LFP Etman, F Van Keulen, JE Rooda
Structural and Multidisciplinary Optimization 27 (5), 384-400, 2004
422004
Specification of a flexible manufacturing system using concurrent programming
JM Van de Mortel-Fronczak, JE Rooda, NJM Van den Nieuwelaar
Concurrent Engineering 3 (3), 187-194, 1995
421995
A process-theoretic approach to supervisory control theory
JCM Baeten, DA Van Beek, B Luttik, J Markovski, JE Rooda
Proceedings of the 2011 American Control Conference, 4496-4501, 2011
412011
Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner
RJM Theunissen, M Petreczky, RRH Schiffelers, DA van Beek, JE Rooda
IEEE Transactions on Automation Science and Engineering 11 (1), 20-32, 2013
402013
Modelling and control of process industry batch production systems
DA van Beek, A van den Ham, JE Rooda
IFAC Proceedings Volumes 35 (1), 403-408, 2002
402002
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
R Su, JH Van Schuppen, JE Rooda, AT Hofkamp
Automatica 46 (6), 968-978, 2010
362010
Effective process times for multi-server flowlines with finite buffers
AAA Kock, LFP Etman, JE Rooda
IIE Transactions 40 (3), 177-186, 2008
362008
Concrete syntax and semantics of the compositional interchange format for hybrid systems
DA van Beek, MA Reniers, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 41 (2), 7979-7986, 2008
362008
Model-based engineering of supervisory controllers using CIF
RRH Schiffelers, RJM Theunissen, DA Van Beek, JE Rooda
Electronic Communications of the EASST 21, 2010
352010
Supervisory control synthesis for a patient support system
RJM Theunissen, RRH Schiffelers, DA Van Beek, JE Rooda
2009 European Control Conference (ECC), 4647-4652, 2009
352009
Controller design for switched linear systems with setups
E Lefeber, JE Rooda
Physica A: Statistical Mechanics and its Applications 363 (1), 48-61, 2006
352006
First-order sequential convex programming using approximate diagonal QP subproblems
LFP Etman, AA Groenwold, JE Rooda
Structural and Multidisciplinary Optimization 45 (4), 479-488, 2012
342012
New concepts in the abstract format of the compositional interchange format
DA van Beek, P Collins, DE Nadales, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 42 (17), 250-255, 2009
342009
A model-based integration and testing method to reduce system development effort
N Braspenning, JM Van De Mortel-Fronczak, JE Rooda
Electronic notes in theoretical computer science 164 (4), 13-28, 2006
342006
Quantifying variability of batching equipment using effective process times
JH Jacobs, PP Van Bakel, LFP Etman, JE Rooda
IEEE Transactions on Semiconductor Manufacturing 19 (2), 269-275, 2006
332006
Simulation based optimization of stochastic systems with integer design variables by sequential multipoint linear approximation
SJ Abspoel, LFP Etman, J Vervoort, RA Van Rooij, AJG Schoofs, ...
Structural and multidisciplinary optimization 22 (2), 125-139, 2001
332001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20