Sciweavers

5200 search results - page 81 / 1040
» Symbolic models for control systems
Sort
View
127
Voted
CBSE
2008
Springer
15 years 6 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
DEDS
2007
68views more  DEDS 2007»
15 years 4 months ago
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems
Ion Necoara, Bart De Schutter, Ton J. J. van den B...