Sciweavers

3458 search results - page 1 / 692

» Abstracting Control

34

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 12 months ago

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

29

HYBRID
2010
Springer

137views Control Systems» more HYBRID 2010»

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

14 years 2 months ago

Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

Download ljk.imag.fr

Antoine Girard

claim paper

Read More »

41

HYBRID
2007
Springer

122views Control Systems» more HYBRID 2007»

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

14 years 2 months ago

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

26

HYBRID
2001
Springer

109views Control Systems» more HYBRID 2001»

Hybrid Abstractions that Preserve Timed Languages

14 years 3 months ago

Hybrid Abstractions that Preserve Timed Languages

Download www.seas.upenn.edu

Paulo Tabuada, George J. Pappas

claim paper

Read More »

39

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

14 years 3 months ago

A Note on Abstract Interpretation Strategies for Hybrid Automata

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

« Prev « First page 1 / 692 Last » Next »