Search Sciweavers | Sciweavers

1146 search results - page 12 / 230

» Periodically Controlled Hybrid Systems

111

click to vote

HYBRID
2009
Springer

114views Control Systems» more HYBRID 2009»

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

15 years 7 months ago

Download www.vuse.vanderbilt.edu

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

claim paper

Read More »

106

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

Download sec.eecs.berkeley.edu

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

claim paper

Read More »

click to vote

HYBRID
1995
Springer

97views Control Systems» more HYBRID 1995»

Hybrid I/O Automata

15 years 6 months ago

Download www.dcsc.tudelft.nl

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

claim paper

Read More »

112

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 7 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

101

click to vote

HYBRID
1995
Springer

82views Control Systems» more HYBRID 1995»

The Tool KRONOS

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers