7778 search results - page 54 / 1556 » Designing Controllers for Reachability |
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper proposes a global asymptotic stabilizing control law for a quad-rotor helicopter with bounded inputs. The proposed control design exploits the technique base...
109
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
139
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
118
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
117
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...