4693 search results - page 27 / 939 » Verifying Hybrid Systems |
77
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
100
click to vote
HYBRID
1998
Springer
15 years 4 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. ...
74
Voted
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
90
Voted
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
80
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer