2377 search results - page 69 / 476 » Hybrid Systems in TLA |
ICWMC
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper discusses hybrid cellular-broadcasting systems as an alternative for future delivery of wireless multimedia multicast services. A resource management framework is pr...
HYBRID
1999
Springer
15 years 3 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
107
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
JLP
2006
14 years 11 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 ...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
14 years 9 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...