192 search results - page 1 / 39 » Constraint-Based Approach for Analysis of Hybrid Systems |
102
Voted
CAV
2008
Springer
15 years 6 days ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
138
Voted
CSCLP
2008
Springer
14 years 12 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
77
Voted
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
108
Voted
ROBOCUP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
107
Voted
CONSTRAINTS
2002
14 years 10 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...