5200 search results - page 104 / 1040 » Symbolic models for control systems |
FSEN
2009
Springer
14 years 22 days ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
CDC
2009
IEEE
14 years 5 days ago
2009
IEEE
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
HYBRID
1994
Springer
14 years 29 days ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
CASES
2004
ACM
14 years 2 months ago
2004
ACM
MVA
1990
13 years 10 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...