Searching for "Composing hybrid systems." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
II. A General Hybrid Systems Model
- … of multiform time. Compositionality refers to the ability of freely composing hybrid systems. Since hybrid…
- Add To MetaCart
-
Compositional and Uniform Modelling of Hybrid Systems
- … of multiform time. Compositionality refers to the ability of freely composing hybrid systems. Since hybrid…
- Cited by 10 (0 self) – Add To MetaCart
-
Hierarchical approach for design of multi-vehicle multi-modal embedded software
- … and mixed for composing hybrid systems. There are a rich variety of models of computation that deal…
- Cited by 4 (1 self) – Add To MetaCart
-
The Concept of Deadlock and Livelock in Hybrid Control Systems
- … properties hold. 4 Composing Hybrid Systems Specifications In this section we consider rather general…
- Add To MetaCart
-
A CSP Model for Hybrid Automata
- … is implemented by the considered system? Global Variables Composed Hybrid System with Global Variables External…
- Cited by 3 (1 self) – Add To MetaCart
-
On Weighted Time-Optimal Control For
- …. Hence, by composing the two systems we get the target set F=(Join,F 1 ∪ F 2) for the composed hybrid…
- Add To MetaCart
Showing 1 through 6.
