Search Sciweavers | Sciweavers

2377 search results - page 3 / 476

» Hybrid Systems in TLA

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 6 months ago

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

click to vote

HYBRID
2011
Springer

194views Control Systems» more HYBRID 2011»

The earlier the better: a theory of timed actor interfaces

12 years 6 months ago

Download chess.eecs.berkeley.edu

Marc Geilen, Stavros Tripakis, Maarten Wiggers

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

234views Applied Computing» more BIRTHDAY 2010»

The Arrow of Time through the Lens of Computing

13 years 11 months ago

Download www.cs.nyu.edu

Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...

Krishna V. Palem

claim paper

Read More »

click to vote

HYBRID
2009
Springer

102views Control Systems» more HYBRID 2009»

Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets

14 years 1 months ago

Download users.ece.gatech.edu

Axel Schild, Magnus Egerstedt, Jan Lunze

claim paper

Read More »

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers