53 search results - page 5 / 11 » Control design with guaranteed ultimate bound for perturbed ... |
CONCUR
2004
Springer
14 years 26 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
AR
2006
13 years 7 months ago
2006
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
A supply chain network can be viewed as a network of facilities in which a customer order will flow through internal business processes such as procurement, production, and transp...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Real-time embedded systems are increasingly being built using commercial-off-the-shelf (COTS) components such as mass-produced peripherals and buses to reduce costs, timeto-market...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...