385 search results - page 2 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
STACS
1995
Springer
13 years 8 months ago
1995
Springer
FORMATS
2010
Springer
13 years 2 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
AUTOMATICA
2008
13 years 4 months ago
2008
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...