Search Sciweavers | Sciweavers

1146 search results - page 12 / 230

» Periodically Controlled Hybrid Systems

140

click to vote

HYBRID
2009
Springer

114views Control Systems» more HYBRID 2009»

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

15 years 9 months ago

Download www.vuse.vanderbilt.edu

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

claim paper

Read More »

134

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 9 months ago

Download sec.eecs.berkeley.edu

Luca Berardi, Elena De Santis, Maria Domenica Di B...

claim paper

Read More »

120

Voted

HYBRID
1995
Springer

97views Control Systems» more HYBRID 1995»

Hybrid I/O Automata

15 years 9 months ago

Download www.dcsc.tudelft.nl

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

claim paper

Read More »

139

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 10 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

135

click to vote

HYBRID
1995
Springer

82views Control Systems» more HYBRID 1995»

The Tool KRONOS

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers