Search Sciweavers | Sciweavers

2377 search results - page 7 / 476

» Hybrid Systems in TLA

172

click to vote

CAV
2012
Springer

242views Hardware» more CAV 2012»

Exercises in Nonstandard Static Analysis of Hybrid Systems

13 years 8 months ago

Download www.fos.kuis.kyoto-u.ac.jp

Abstract. In formal veriﬁcation of hybrid systems, a big challenge is to incorporate continuous ﬂow dynamics in a discrete framework. Our previous work proposed to use nonstand...

Ichiro Hasuo, Kohei Suenaga

claim paper

Read More »

127

click to vote

HYBRID
2005
Springer

58views Control Systems» more HYBRID 2005»

A Homology Theory for Hybrid Systems: Hybrid Homology

15 years 11 months ago

Download robotics.eecs.berkeley.edu

By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...

Aaron D. Ames, Shankar Sastry

claim paper

Read More »

112

click to vote

HYBRID
2010
Springer

150views Control Systems» more HYBRID 2010»

A hybrid system model of seasonal snowpack water balance

16 years 15 days ago

Download www2.ee.kth.se

Branko Kerkez, Steven D. Glaser, John A. Dracup, R...

claim paper