4693 search results - page 96 / 939 » Verifying Hybrid Systems |
113
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
104
Voted
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
99
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Path-dependent impulse differential inclusions, and in particular, path-dependent hybrid control systems, are defined by a path-dependent differential inclusion (or path-depend...
111
Voted
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...