11 search results - page 1 / 3 » Rigorous Modeling of Hybrid Systems Using Interval Arithmeti... |
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
ICONS
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
— There are many communication imperfections in networked control systems (NCSs) such as varying sampling/transmission intervals, varying delays, possible packet loss, communicat...
DATE
2007
IEEE
13 years 11 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...