Search Sciweavers | Sciweavers

1146 search results - page 12 / 230

» Periodically Controlled Hybrid Systems

click to vote

HYBRID
2009
Springer

114views Control Systems» more HYBRID 2009»

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

13 years 11 months ago

Download www.vuse.vanderbilt.edu

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

claim paper

Read More »

click to vote

HYBRID
2000
Springer

109views Control Systems» more HYBRID 2000»

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

13 years 11 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

13 years 11 months ago

Download www.dcsc.tudelft.nl

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

claim paper

Read More »

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

14 years 7 days ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

click to vote

HYBRID
1995
Springer

82views Control Systems» more HYBRID 1995»

The Tool KRONOS

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers