828 search results - page 28 / 166 » Modularity for Timed and Hybrid Systems |
129
click to vote
FUIN
2007
15 years 1 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
124
click to vote
AUTOMATICA
2006
15 years 1 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
129
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
118
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
94
Voted
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...