8190 search results - page 33 / 1638 » From Timed to Hybrid Systems |
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
IJCAI
2007
13 years 9 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
HYBRID
2001
Springer
14 years 17 hour ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...