Sciweavers

4434 search results - page 20 / 887
» On the Composition of Hybrid Systems
Sort
View
HYBRID
1995
Springer
15 years 9 months ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
HYBRID
1998
Springer
15 years 10 months ago
Hybrid Control of Automotive Powertrain Systems: A Case Study
Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashank...
HYBRID
1992
Springer
15 years 10 months ago
An Approach to the Description and Analysis of Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...
HYBRID
2009
Springer
15 years 10 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
HYBRID
2005
Springer
15 years 11 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...