385 search results - page 13 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
HYBRID
1999
Springer
14 years 1 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
JSAC
2008
13 years 8 months ago
2008
Abstract-- This paper considers the integration of communication and control with respect to the task of coordinated heading control for a group of N vehicles. The heading control ...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
IWSAS
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...