5200 search results - page 100 / 1040 » Symbolic models for control systems |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
TSMC
2002
13 years 8 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...