8190 search results - page 67 / 1638 » From Timed to Hybrid Systems |
CAV
2010
Springer
13 years 5 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Static resources allocation problems have been widely studied. More recently some of this attention has changed to focus on dynamic problems, where problem specifications, con...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
IJCV
2002
13 years 7 months ago
2002
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...