5200 search results - page 78 / 1040 » Symbolic models for control systems |
JCS
2008
13 years 8 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
TSMC
2010
13 years 3 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
ENGL
2008
13 years 8 months ago
2008
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
Simple algorithms can be analytically characterized, but such analysis is questionable or even impossible for more complicated algorithms, such as Model Predictive Control (MPC). ...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM