157 search results - page 2 / 32 » Compositional Control Synthesis for Partially Observable Sys... |
AUTOMATICA
2008
13 years 5 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
AUTOMATICA
2002
13 years 5 months ago
2002
We are interestedin a newclassof optimal control problemsfor DiscreteEvent Systems (DES). Weadopt theformalismof supervisorycontrol theory 10] andmodel thesystemas a nitestatemach...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
DEDS
2007
13 years 5 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...