Sciweavers

13717 search results - page 10 / 2744

» Control Systems

82

CDC
2008
IEEE

118views Control Systems» more CDC 2008»

Passification of linear systems with respect to given output

15 years 6 months ago

Passification of linear systems with respect to given output

Download www.nt.ntnu.no

Alexander L. Fradkov

claim paper

Read More »

108

CDC
2010
IEEE

102views Control Systems» more CDC 2010»

The fundamentals of hybrid systems modelers

14 years 11 months ago

The fundamentals of hybrid systems modelers

Download www.irisa.fr

Albert Benveniste, Benoît Caillaud, Marc Pou...

claim paper

Read More »

173

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

14 years 4 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 »

161

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

15 years 11 months ago

Combinations of Theories for Decidable Fragments of First-Order Logic

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

160

Voted

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

15 years 11 months ago

Building SMT-Based Software Model Checkers: An Experience Report

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

« Prev « First page 10 / 2744 Last » Next »