Sciweavers

1524 search results - page 3 / 305
» Operational Semantics of Hybrid Systems
Sort
View
HYBRID
2010
Springer
13 years 4 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
UML
2001
Springer
13 years 10 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
HYBRID
1997
Springer
13 years 10 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
FOSSACS
2006
Springer
13 years 10 months ago
Denotational Semantics of Hybrid Automata
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
Abbas Edalat, Dirk Pattinson
DEDS
1998
82views more  DEDS 1998»
13 years 5 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer