Search Sciweavers | Sciweavers

695 search results - page 9 / 139

» Control in o-minimal Hybrid Systems

click to vote

HYBRID
1992
Springer

117views Control Systems» more HYBRID 1992»

An Approach to the Description and Analysis of Hybrid Systems

14 years 1 months ago

Download www-verimag.imag.fr

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...

claim paper

Read More »

click to vote

HYBRID
2009
Springer

114views Control Systems» more HYBRID 2009»

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

14 years 28 days 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

14 years 20 days 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

14 years 19 days 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers