3823 search results - page 111 / 765 » Stability of Hybrid Systems |
105
Voted
FORMATS
2003
Springer
15 years 6 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...
112
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...
138
Voted
CASDMKM
2004
Springer
15 years 6 months ago
2004
Springer
In this study, a novel hybrid AI system framework is developed by means of a systematic integration of artificial neural networks (ANN) and rulebased expert system (RES) with web-b...