Jacobus E. Rooda

Affiliations:
  • Eindhoven University of Technology, Department of Mechanical Engineering, The Netherlands


According to our database1, Jacobus E. Rooda authored at least 114 papers between 1995 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays.
IEEE Trans Autom. Sci. Eng., July, 2023

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Validating communication of a dynamic traffic management system.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Legend Pattern Calculation for Dynamic Traffic Management Using ILP.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
Supervisory controller synthesis and implementation for safety PLCs.
Discret. Event Dyn. Syst., 2022

Supervisor Synthesis: Bridging Theory and Practice.
Computer, 2022

2021
Compositional coordinator synthesis of extended finite automata.
Discret. Event Dyn. Syst., 2021

Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project.
CoRR, 2021

Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays.
CoRR, 2021

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge.
Comput. Ind., 2021

Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021

A configurator for supervisory controllers of roadside systems.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices.
IEEE Trans. Autom. Control., 2020

Modeling for supervisor synthesis - a lock-bridge combination case study.
Discret. Event Dyn. Syst., 2020

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.
CoRR, 2020

The Road Ahead for Supervisor Synthesis.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Data Logging and Reconstruction of Discrete-event System Behavior.
Proceedings of the 16th International Conference on Control, 2020

Design of a Supervisor Platform for Movable Bridges.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Modeling Guidelines for Component-Based Supervisory Control Synthesis.
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure.
Proceedings of the 17th European Control Conference, 2019

Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex.
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Finite Response and Confluence of State-based Supervisory Controllers.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017
Structuring multilevel discrete-event systems with dependency structure matrices.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Supervisory control synthesis for a waterway lock.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2014
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner.
IEEE Trans Autom. Sci. Eng., 2014

Design and analysis of an automated order-picking workstation.
J. Simulation, 2014

2013
Syntax and semantics of the compositional interchange format for hybrid systems.
J. Log. Algebraic Methods Program., 2013

Control of Supply Networks by Robust Optimal Control and Using Observers.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2012
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces.
IEEE Trans. Autom. Control., 2012

Designs of optimal switching feedback decentralized control policies for fluid queueing networks.
Math. Control. Signals Syst., 2012

Application of supervisory control theory to theme park vehicles.
Discret. Event Dyn. Syst., 2012

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems.
Autom., 2012

Improving evolvability of a patient communication control system using state-based supervisory control synthesis.
Adv. Eng. Informatics, 2012

Aggregate simulation modeling of an MRI department using effective process times.
Proceedings of the Winter Simulation Conference, 2012

2011
Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously.
Syst. Control. Lett., 2011

Estimating and quantifying the impact of using models for integration and testing.
Comput. Ind., 2011

A process algebra based simulation model of a miniload-workstation order picking system.
Comput. Ind., 2011

Aggregate modeling of semiconductor equipment using effective process times.
Proceedings of the Winter Simulation Conference 2011, 2011

Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals.
Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

Maximally permissive distributed supervisory control of nondeterministic discrete-event systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A process-theoretic approach to supervisory control theory.
Proceedings of the American Control Conference, 2011

Using heaps-of-pieces in synthesis of time optimal supervisors.
Proceedings of the IEEE International Conference on Control Applications, 2011

2010
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis.
IEEE Trans. Autom. Control., 2010

Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction.
IEEE Trans. Autom. Control., 2010

Generating CT-TH-PM surfaces using EPT-based aggregate modelling.
J. Simulation, 2010

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.
Autom., 2010

Single-server aggregation of a re-entrant flow line.
Proceedings of the 2010 Winter Simulation Conference, 2010

Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking.
Proceedings of the 2010 Winter Simulation Conference, 2010

Coordination of resources using generalized state-based requirements.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Model predictive control for the acquisition queue and related queueing networks.
Proceedings of the 5th International Conference on Queueing Theory and Network Applications, 2010

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

A state-based framework for supervisory control synthesis and verification.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Hierarchical Test Sequencing for Complex Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2009

Integration and Test Sequencing for Complex Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2009

Model-Based Engineering of Supervisory Controllers using CIF.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling.
Proceedings of the 2009 Winter Simulation Conference, 2009

Supervisory control synthesis for a patient support system.
Proceedings of the 10th European Control Conference, 2009

Efficient nonconflict check by using automaton abstractions.
Proceedings of the 10th European Control Conference, 2009

Control of input/output discrete-event systems.
Proceedings of the 10th European Control Conference, 2009

Sampled-data control of hybrid systems with discrete inputs and outputs.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

New Concepts in the Abstract Format of the Compositional Interchange Format.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Hybrid modeling and simulation of plant/controller combinations.
Proceedings of the IEEE International Conference on Control Applications, 2009

Discrete-event implementation of observer-based feedback control of manufacturing system.
Proceedings of the IEEE International Conference on Control Applications, 2009

Scheduling with dynamic constraints in application to Magnetic Resonance Imaging scans processing.
Proceedings of the IEEE International Conference on Control Applications, 2009

Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Risk-Based Stopping Criteria for Test Sequencing.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Test Sequencing in Complex Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Modeling and Control of a Manufacturing Flow Line Using Partial Differential Equations.
IEEE Trans. Control. Syst. Technol., 2008

Model-based system analysis using Chi and Uppaal: An industrial case study.
Comput. Ind., 2008

Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approach.
Comput. Ind. Eng., 2008

Synthesizing nonblocking distributed supervisors based on automaton abstraction.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Modeling and Analysis of Manufacturing Systems.
Proceedings of the Handbook of Dynamic System Modeling., 2007

Process Algebra.
Proceedings of the Handbook of Dynamic System Modeling., 2007

A Negative Bendixson-Like Criterion for a Class of Hybrid Systems.
IEEE Trans. Autom. Control., 2007

A criterion for nonexistence of limit cycles for differential inclusions.
Proceedings of the 3rd IFAC Workshop on Periodic Control Systems, 2007

Performance analysis of harmonically forced nonlinear systems.
Proceedings of the 3rd IFAC Workshop on Periodic Control Systems, 2007

Foundations of a Compositional Interchange Format for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Well-posedness and accuracy of harmonic linearization for Lur'e systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State feedback control of switching server flowline with setups.
Proceedings of the American Control Conference, 2007

2006
Syntax and consistent equation semantics of hybrid Chi.
J. Log. Algebraic Methods Program., 2006

A Model-based Integration and Testing Method to Reduce System Development Effort.
Proceedings of the Second Workshop on Model Based Testing, 2006

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Coupling event domain and time domain models of manufacturing systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Convergent Systems Design: Anti-Windup for Marginally Stable Plants.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Feedback control of 2-product server with setups and bounded buffers.
Proceedings of the American Control Conference, 2006

Convergent Design of switched linear Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Simulation and Verification of Hybrid Systems using Chi.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Analyzing a <i>chi</i> model of a turntable system using Spin, CADP and Uppaal.
J. Log. Algebraic Methods Program., 2005

Relating Hybrid Chi to Other Formalisms.
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Verification of timed chi models using uppaal.
Proceedings of the ICINCO 2005, 2005

Event driven manufacturing systems as time domain control systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Convergent piecewise affine systems: analysis and design Part II: discontinuous case.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control of manufacturing systems using state feedback and linear programming.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
Convex equations and differential inclusions in hybrid systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Modeling, validation and control of manufacturing systems.
Proceedings of the 2004 American Control Conference, 2004

2003
Declaration of unknowns in DAE-based hybrid system specification.
ACM Trans. Model. Comput. Simul., 2003

Analysis of an Industrial System.
Formal Methods Syst. Des., 2003

Hybrid dynamic systems: relating Chi to hybrid automata.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Design of supervisory machine control.
Proceedings of the 7th European Control Conference, 2003

A Hybrid Language for Modeling, Simulation and Verification.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2000
Simulation optimization of stochastic systems with integer variables by sequential linearization.
Proceedings of the 32nd conference on Winter simulation, 2000

A case study in simulation based system specification and design.
Proceedings of the 14<sup>th</sup> European Simulation Multiconference, 2000

1999
Experimental comparison of control architectures.
Proceedings of the Global Production Management, 1999

1998
A Process Algebra Based Verification of a Production System.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1997
Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines.
Simul. Pract. Theory, 1997

1996
A New Mechanism for Exception Handling in Concurrent Control Systems.
Eur. J. Control, 1996

Specification of Combined Continuous Time/Discrete Event Models.
Proceedings of the Modelling and Simulation, 1996

1995
A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines.
Proceedings of the EUROSIM'96, 1995


  Loading...