2595 search results - page 140 / 519 » Modes in Asynchronous Systems |
124
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...
130
click to vote
JLP
2006
15 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
112
Voted
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
178
click to vote
WSCG
2004
15 years 6 months ago
2004
In this paper requirements and conditions for the visitor identification system are outlined and an example system is proposed. Two main subsystems: face detection and face recogn...
143
click to vote
HYBRID
2001
Springer
15 years 9 months 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...