5200 search results - page 60 / 1040 » Symbolic models for control systems |
DNIS
2005
Springer
14 years 2 months ago
2005
Springer
Access control is the process of mediating every request to data and services maintained by a system and determining whether the request should be granted or denied. Expressiveness...
ASYNC
1997
IEEE
14 years 10 days ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
FORMATS
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
AUTOMATICA
2006
13 years 8 months ago
2006
This note presents a stabilizing decentralized model predictive control (MPC) algorithm for nonlinear discrete time systems. No information is assumed to be exchanged between loca...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
It is needed for humanoid to acquire not only just a trajectory but also aim of the behavior and symbolic information during behavior development. We have proposed the mimesis sys...