935 search results - page 5 / 187 » Adaptive Control of Time-Varying Mechanical Systems: Modelin... |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
RTSS
1999
IEEE
14 years 25 days ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
SENSYS
2010
ACM
13 years 6 months ago
2010
ACM
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
ISORC
2000
IEEE
14 years 28 days ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...