14190 search results - page 74 / 2838 » Abstractions for hybrid systems |
100
click to vote
RP
2009
Springer
15 years 4 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
RSP
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
117
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
119
click to vote
TIME
2003
IEEE
15 years 5 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...