Sciweavers

5200 search results - page 32 / 1040

» Symbolic models for control systems

23

CDC
2010
IEEE

117views Control Systems» more CDC 2010»

Reduced-order modeling of Markov and hidden Markov processes via aggregation

13 years 3 months ago

Reduced-order modeling of Markov and hidden Markov processes via aggregation

Download www.cs.ualberta.ca

Mathukumalli Vidyasagar

claim paper

Read More »

30

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

14 years 3 months ago

Building SMT-Based Software Model Checkers: An Experience Report

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

9

CDC
2008
IEEE

120views Control Systems» more CDC 2008»

Further results for ARX models in adaptive tracking

14 years 3 months ago

Further results for ARX models in adaptive tracking

Download www.math.u-bordeaux.fr

Bernard Bercu, Victor Vazquez

claim paper

Read More »

30

RTSS
2000
IEEE

135views Control Systems» more RTSS 2000»

Modeling Complex Flows for Worst-Case Execution Time Analysis

14 years 1 months ago

Modeling Complex Flows for Worst-Case Execution Time Analysis

Download www.cs.ucla.edu

Jakob Engblom, Andreas Ermedahl

claim paper

Read More »

23

RTSS
1998
IEEE

93views Control Systems» more RTSS 1998»

A General Model for Recurring Real-Time Tasks

14 years 28 days ago

A General Model for Recurring Real-Time Tasks

Download www.arl.wustl.edu

Sanjoy K. Baruah

claim paper

Read More »

« Prev « First page 32 / 1040 Last » Next »