Search results for "J. E. Rooda"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rong Su, Jan H. van Schuppen, Jacobus E. Rooda	The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces.	IEEE Trans. Automat. Contr.	2012	DBLP DOI BibTeX RDF
1	N. C. W. M. Braspenning, R. Boumen, J. M. van de Mortel-Fronczak, J. E. Rooda	Estimating and quantifying the impact of using models for integration and testing.	Computers in Industry	2011	DBLP DOI BibTeX RDF
1	Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, J. E. Rooda	Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals.	SIMULTECH	2011	DBLP BibTeX RDF
1	Erjen Lefeber, Stefan Lämmer, Jacobus E. Rooda	Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously.	Systems & Control Letters	2011	DBLP DOI BibTeX RDF
1	Ricky Andriansyah, W. W. H. de Koning, R. M. E. Jordan, L. F. P. Etman, Jacobus E. Rooda	A process algebra based simulation model of a miniload-workstation order picking system.	Computers in Industry	2011	DBLP DOI BibTeX RDF
1	Lennart Swartjes, Rong Su, Jacobus E. Rooda	A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis.	ICCA	2011	DBLP DOI BibTeX RDF
1	Rong Su, Jan H. van Schuppen, Jacobus E. Rooda	Maximally permissive distributed supervisory control of nondeterministic discrete-event systems.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Rong Su, Jan H. van Schuppen, Jacobus E. Rooda	Using heaps-of-pieces in synthesis of time optimal supervisors.	CCA	2011	DBLP DOI BibTeX RDF
1	Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda	Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.	FORMATS	2010	DBLP DOI BibTeX RDF
1	Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda	A state-based framework for supervisory control synthesis and verification.	CDC	2010	DBLP DOI BibTeX RDF
1	Casper Veeger, L. F. P. Etman, Joost van Herk, Jacobus E. Rooda	Generating CT-TH-PM surfaces using EPT-based aggregate modelling.	J. Simulation	2010	DBLP DOI BibTeX RDF
1	Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp	Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.	Automatica	2010	DBLP DOI BibTeX RDF
1	Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda	Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan	Single-server aggregation of a re-entrant flow line.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda	Integration and Test Sequencing for Complex Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	R. Boumen, Sui Ruan, I. de Jong, J. M. van de Mortel-Fronczak, J. E. Rooda, Krishna R. Pattipati	Hierarchical Test Sequencing for Complex Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda	Model-Based Engineering of Supervisory Controllers using CIF.	ECEASST	2009	DBLP BibTeX RDF
1	Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk	Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling.	Winter Simulation Conference	2009	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen	Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda	Test Sequencing in Complex Manufacturing Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	R. Boumen, I. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda	Risk-Based Stopping Criteria for Test Sequencing.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	N. C. W. M. Braspenning, Elena M. Bortnik, J. M. van de Mortel-Fronczak, J. E. Rooda	Model-based system analysis using Chi and Uppaal: An industrial case study.	Computers in Industry	2008	DBLP DOI BibTeX RDF
1	Rong Su, Jan H. van Schuppen, J. E. Rooda	Synthesizing nonblocking distributed supervisors based on automaton abstraction.	CDC	2008	DBLP DOI BibTeX RDF
1	D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers	Relating Hybrid Chi to Other Formalisms.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda	Foundations of a Compositional Interchange Format for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers	Syntax and consistent equation semantics of hybrid Chi.	J. Log. Algebr. Program.	2006	DBLP DOI BibTeX RDF
1	N. C. W. M. Braspenning, J. M. van de Mortel-Fronczak, J. E. Rooda	A Model-based Integration and Testing Method to Reduce System Development Effort.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda	Analyzing a chi model of a turntable system using Spin, CADP and Uppaal.	J. Log. Algebr. Program.	2005	DBLP DOI BibTeX RDF
1	Elena M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda	Verification of timed chi models using uppaal.	ICINCO	2005	DBLP BibTeX RDF
1	D. A. van Beek, Victor Bos, J. E. Rooda	Declaration of unknowns in DAE-based hybrid system specification.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	Consistent initial conditions, semantics, hybrid systems, initial value problem
1	J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda	Analysis of an Industrial System.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	verification, formal methods, process algebra, industrial systems
1	Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda	Formal Semantics of Hybrid Chi.	FORMATS	2003	DBLP DOI BibTeX RDF
1	D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers	Hybrid dynamic systems: relating Chi to hybrid automata.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	J. M. van de Mortel-Fronczak, R. J. A. Gorter, J. E. Rooda	A case study in simulation based system specification and design.	ESM	2000	DBLP BibTeX RDF
1	S. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda	Simulation optimization of stochastic systems with integer variables by sequential linearization.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
1	J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda	Experimental comparison of control architectures.	APMS	1999	DBLP BibTeX RDF
1	J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers	A Process Algebra Based Verification of a Production System. (PDF / PS)	ICFEM	1998	DBLP DOI BibTeX RDF
1	Gina Fábián, D. A. van Beek, J. E. Rooda	Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator.	ESM	1998	DBLP BibTeX RDF
1	D. A. van Beek, S. H. F. Gordijn, J. E. Rooda	Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines.	Simul. Pr. Theory	1997	DBLP DOI BibTeX RDF
1	D. A. van Beek, J. E. Rooda, S. H. F. Gordijn	A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines.	EUROSIM	1995	DBLP BibTeX RDF

Publications of J. E. Rooda Jacobus E. Rooda ( http://dblp.L3S.de/Authors/J._E._Rooda )