Sciweavers

695 search results - page 2 / 139

» Control in o-minimal Hybrid Systems

13

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

13 years 10 months ago

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

11

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

14 years 7 days ago

Succinct discrete time approximations of distributed hybrid automata

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

11

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

13 years 11 months ago

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

10

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Non-concurrent Error Detection and Correction in Switched Linear Controllers

13 years 10 months ago

Non-concurrent Error Detection and Correction in Switched Linear Controllers

Download www.seas.upenn.edu

Shreyas Sundaram, Christoforos N. Hadjicostis

claim paper

Read More »

11

HYBRID
2009
Springer

110views Control Systems» more HYBRID 2009»

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

14 years 6 days ago

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

Download www.suzlab.nuem.nagoya-u.ac.jp

Yuichi Tazaki, Jun-ichi Imura

claim paper

Read More »

« Prev « First page 2 / 139 Last » Next »