#### Filter Results:

- Full text PDF available (80)

#### Publication Year

1995

2017

- This year (4)
- Last 5 years (9)
- Last 10 years (69)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- J. C. M. Bergstra Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, J. E. Rooda
- Proceedings of the 2011 American Controlâ€¦
- 2011

We revisit the central notion of controllability in supervisory control theory from process-theoretic perspective. To this end, we investigate partial bisimulation preorder, a behavioral preorderâ€¦ (More)

- Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers
- J. Log. Algebr. Program.
- 2006

The hybrid Ï‡ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease ofâ€¦ (More)

Operational time variability is one of the key parameters determining the average cycle time of lots. Many different sources of variability can be identified such as machine breakdowns, setup, andâ€¦ (More)

- S. Tosserams, L. F. P. Etman, P. Y. Papalambros, J. E. Rooda
- 2006

Analytical target cascading is a method for design optimization of hierarchical, multilevel systems. A quadratic penalty relaxation of the system consistency constraints is used to ensure subproblemâ€¦ (More)

The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number ofâ€¦ (More)

- S. Tosserams, L. F. P. Etman, J. E. Rooda
- 2006

In multidisciplinary design optimization, bi-level decomposition methods aim at allowing distributed decision-making by decomposing the system design problem into disciplinary sub-problems and aâ€¦ (More)

- Elena M. Bortnik, Nikola Trcka, +5 authors J. E. Rooda
- 2004

Nowadays, due to increasing system complexity and growing competition and costs, industry makes high demands on powerful techniques used to design and analyze manufacturing systems. One of the mostâ€¦ (More)

- S. Tosserams, L. F. P. Etman, P. Y. Papalambros, J. E. Rooda
- 2005

1. Abstract Analytical Target Cascading (ATC) is a method for design optimization of hierarchically decomposed multilevel systems. ATC subproblems are defined by introducing target and responseâ€¦ (More)

- J. H. Jacobs, P.P. van Bakel, L. F. P. Etman, J. E. Rooda
- IEEE Transactions on Semiconductor Manufacturing
- 2006

Process time variability plays a key role in the cycle time of wafers. Several sources of variability can be distinguished. However, identification and measurement of all individual sources is almostâ€¦ (More)