Search Sciweavers | Sciweavers

4434 search results - page 12 / 887

» On the Composition of Hybrid Systems

152

click to vote

HYBRID
2001
Springer

121views Control Systems» more HYBRID 2001»

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems

15 years 10 months ago

Download mtc.epfl.ch

Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...

Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...

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 16 days ago

Download www2.ee.kth.se

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

claim paper

Read More »

140

click to vote

HYBRID
2007
Springer

75views Control Systems» more HYBRID 2007»

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems

16 years 6 days ago

Download www.vuse.vanderbilt.edu

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

claim paper

Read More »

178

click to vote

SRDS
1999
IEEE

129views Operating System» more SRDS 1999»

Formal Hazard Analysis of Hybrid Systems in cTLA

15 years 10 months ago

Download www.item.ntnu.no

Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...

Peter Herrmann, Heiko Krumm

claim paper

Read More »

140

click to vote

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers