A control problem for affine dynamical systems on a full-dimensional polytope
- L. Habets, J. H. Schuppen
- Mathematicsat - Automatisierungstechnik
- 2004
Reachability and control synthesis for piecewise-affine hybrid systems on simplices
- L. Habets, Pieter Collins, J. H. Schuppen
- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 19 June 2006
The construction of control laws for piecewise-affine hybrid systems on simplices is given as an explicit algorithm using only linear algebra and reach-set computations for automata; no numerical integration is required.
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
- R. Su, J. H. Schuppen, J. Rooda
- Computer ScienceIEEE Transactions on Automatic Control
- 5 February 2010
The key to the success of this approach is a newly developed automaton abstraction technique, that removes irrelevant internal transitions at each synthesis stage so that nonblocking supervisor synthesis can be carried out on relatively small abstracted models.
Control of Distributed Systems: Tutorial and Overview
- O. Boutin, J. Komenda, A. Ran
- Mathematics, Computer ScienceEuropean Journal of Control
- 2011
Coordinated distributed systems are defined for linear systems, for Gaussian systems, and for discrete-eventsystemsandanalgebraic-geometriccharacterization and a specific control synthesis procedure is presented.
System identification with information theoretic criteria
- A. Stoorvogel, J. H. Schuppen
- Computer Science, Mathematics
- 1995
The unified framework for approximation problems of system identification with information theoretic criteria formulated in this paper seems extremely useful.
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- R. Su, J. H. Schuppen, J. Rooda, A. T. Hofkamp
- Computer Scienceat - Automatisierungstechnik
- 1 June 2010
Systems biology towards life in silico: mathematics of the control of living cells
- H. Westerhoff, A. Kolodkin, J. Snoep
- BiologyJournal of Mathematical Biology
- 2009
The origin and evolution of the new part of systems biology that relates to metabolic and signal-transduction pathways is discussed and mathematical biology is extended so as to address postgenomic experimental reality.
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
- R. Su, J. H. Schuppen, J. Rooda
- Computer ScienceIEEE Transactions on Automatic Control
- 2012
This paper presents a minimum-makespan supervisor synthesis problem, and shows that the problem can be solved by a terminable algorithm, where the execution time of each string is computable by the theory of heaps-of-pieces.
On conditional decomposability
- J. Komenda, Tomas Masopust, J. H. Schuppen
- Computer Science, MathematicsSystems & control letters (Print)
- 9 January 2012
Control of an engineering-structured multilevel discrete-event system
- J. Komenda, Tomas Masopust, J. H. Schuppen
- Computer ScienceInternational Workshop on Discrete Event Systems
- 1 May 2016
Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level…
...
...