5200 search results - page 54 / 1040 » Symbolic models for control systems |
126
click to vote
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
132
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
129
click to vote
ICFEM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper deals with active tracking of 3D moving targets. Visual tracking is presented as a regulation control problem. The performance and robustness in visual control of motio...
134
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...