Sciweavers

181 search results - page 1 / 37

» hybrid 2011

12

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

11 years 9 months ago

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

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

9

HYBRID
2011
Springer

194views Control Systems» more HYBRID 2011»

The earlier the better: a theory of timed actor interfaces

11 years 9 months ago

The earlier the better: a theory of timed actor interfaces

Download chess.eecs.berkeley.edu

Marc Geilen, Stavros Tripakis, Maarten Wiggers

claim paper

Read More »

1

IJNM
2011

92views more IJNM 2011»

A hybrid approach to operating system discovery based on diagnosis

12 years 4 months ago

A hybrid approach to operating system discovery based on diagnosis

Download www.sce.carleton.ca

François Gagnon, Babak Esfandiari

claim paper

Read More »

2

JAR
2011

60views more JAR 2011»

Resolution with Order and Selection for Hybrid Logics

12 years 4 months ago

Resolution with Order and Selection for Hybrid Logics

Download www.glyc.dc.uba.ar

Carlos Areces, Daniel Gorín

claim paper

Read More »

3

JIPS
2011

93views more JIPS 2011»

Computer Simulation: A Hybrid Model for Traffic Signal Optimisation

12 years 4 months ago

Computer Simulation: A Hybrid Model for Traffic Signal Optimisation

Download jips-k.org

Mohamed Kamal Jbira, Munir Ahmed

claim paper

Read More »

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