Search Sciweavers | Sciweavers

1146 search results - page 8 / 230

» Periodically Controlled Hybrid Systems

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

13 years 12 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

click to vote

HYBRID
2010
Springer

137views Control Systems» more HYBRID 2010»

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

13 years 11 months ago

Download ljk.imag.fr

Antoine Girard

claim paper

Read More »

click to vote

HYBRID
2011
Springer

200views Control Systems» more HYBRID 2011»

Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulat

12 years 7 months ago

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

click to vote

CDC
2009
IEEE

128views Control Systems» more CDC 2009»

2D bipedal walking with knees and feet: A hybrid control approach

13 years 11 months ago

Download www1.mengr.tamu.edu

— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...

Ryan W. Sinnet, Aaron D. Ames

claim paper

Read More »

click to vote

HYBRID
2001
Springer

137views Control Systems» more HYBRID 2001»

On the Decidability of the Reachability Problem for Planar Differential Inclusions

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers