2838 search results - page 81 / 568 » Verifying Controlled Components |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
B
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
ICRA
1995
IEEE
14 years 16 days ago
1995
IEEE
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
JPDC
2008
13 years 9 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...