Search Sciweavers | Sciweavers

In this paper we deﬁne a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The deﬁnition of bisimulation buil...

Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...

claim paper

Read More »

107

click to vote

HYBRID
1994
Springer

88views Control Systems» more HYBRID 1994»

Hierarchical Hybrid Control: A Case Study

15 years 8 months ago

Download www.path.berkeley.edu

Datta N. Godbole, John Lygeros, Shankar Sastry

claim paper

Read More »

click to vote

HYBRID
1995
Springer

97views Control Systems» more HYBRID 1995»

Hybrid I/O Automata

15 years 7 months ago

Download www.dcsc.tudelft.nl

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...

claim paper

Read More »

113

click to vote

HYBRID
2000
Springer

109views Control Systems» more HYBRID 2000»

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers