385 search results - page 10 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
SIAMCO
2002
13 years 7 months ago
2002
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
ICRA
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events...
AMC
2007
13 years 7 months ago
2007
In this paper, two anticontrol algorithms for synthesis of discrete chaos are introduced. In these algorithms, the control parameter of a discrete dynamical system is switched, ei...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...