The following pages link to Jacobus E. Rooda (Q351742):
Displaying 39 items.
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Incomplete series expansion for function approximation (Q373888) (← links)
- Block-separable linking constraints in augmented Lagrangian coordination (Q381252) (← links)
- A classification of methods for distributed system optimization based on formulation structure (Q381334) (← links)
- Multi-modality in augmented Lagrangian coordination for distributed optimal design (Q381380) (← links)
- First-order sequential convex programming using approximate diagonal QP subproblems (Q381733) (← links)
- (Q445452) (redirect page) (← links)
- An augmented Lagrangian relaxation for analytical target cascading using the alternating direction method of multipliers (Q445453) (← links)
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously (Q553382) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- Analysis of an industrial system (Q1870212) (← links)
- A new mechanism for exception handling in concurrent control systems (Q1925136) (← links)
- Designs of optimal switching feedback decentralized control policies for fluid queueing networks (Q1925834) (← links)
- Syntax and semantics of the compositional interchange format for hybrid systems (Q1932345) (← links)
- Performance analysis of a manufacturing line operated under optimal surplus-based production control (Q1954980) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- (Q3162386) (← links)
- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting (Q3588083) (← links)
- Augmented Lagrangian coordination for distributed optimal design in MDO (Q3590326) (← links)
- Foundations of a Compositional Interchange Format for Hybrid Systems (Q3613003) (← links)
- Distributed Control of Manufacturing Networks: Analysis of Performance (Q4560604) (← links)
- Declaration of unknowns in DAE-based hybrid system specification (Q4564827) (← links)
- Index Reduction and Discontinuity Handling Using Substitute Equations (Q4707408) (← links)
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction (Q4978872) (← links)
- Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis (Q4978997) (← links)
- Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices (Q5125579) (← links)
- A Negative Bendixson-Like Criterion for a Class of Hybrid Systems (Q5282080) (← links)
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces (Q5352675) (← links)
- <i>OEE</i>and equipment effectiveness: an evaluation (Q5444427) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717491) (← links)
- (Q5748138) (← links)
- Design of Convergent Switched Systems (Q5892627) (← links)
