Article | Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK | Invited Talk: Enclosing Hybrid Behavior
Göm menyn

Title:
Invited Talk: Enclosing Hybrid Behavior
Author:
Walid Taha: Halmstad University, Sweden and Rice University, USA
Download:
Full text (pdf)
Year:
2013
Conference:
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK
Issue:
084
Article no.:
001
Pages:
3-3
No. of pages:
1
Publication type:
Abstract and Fulltext
Published:
2013-03-27
ISBN:
978-91-7519-621-3 (print)
978-91-7519-617-6 (online)
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

Rigorous simulation of hybrid systems relies critically on having a semantics that constructs enclosures. Edalat and Pattinson’s work on the domain-theoretic semantics of hybrid systems almost provides what is needed; with two exceptions. First; domain-theoretic methods leave many operational concerns implicit. As a result; the feasibility of practical implementations is not obvious. For example; their semantics appears to rely on repeated interval splitting for state space variables. This can lead to exponential blow up in the cost of the computation. Second; common and even simple hybrid systems exhibit Zeno behaviors. Such behaviors are a practical impediment because they make simulators loop indefinitely. This is in part due to the fact that existing semantics for hybrid systems generally assume that the system is non-Zeno. The feasibility of reasonable implementations is addressed by specifying the semantics algorithmically. We observe that the amount of interval splitting can be influenced by the representation of function enclosures. Parameterizing the semantics with respect to enclosure representation provides a precise specification of the functionality needed from them; and facilitates studying their performance characteristics. For example; we find that non-constant enclosure representations can alleviate the need for interval splitting on dependent variables. We address the feasibility of dealing with Zeno systems by taking a fresh look at event detection and localization. The key insight is that computing enclosures for hybrid behaviors over intervals containing multiple events does not necessarily require separating these events in time; even when the number of events is unbounded. In contrast to current methods for dealing with Zeno behaviors; this semantics does not require reformulating the hybrid system model specifically to enable a transition to a post-Zeno state. The new semantics does not sacrifice the key qualities of the original work; namely; convergence on separable systems.

Keywords: hybrid systems semantics; hybrid systems implementation; Zeno behavior; event localization

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Author:
Walid Taha
Title:
Invited Talk: Enclosing Hybrid Behavior
References:
No references available

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Author:
Walid Taha
Title:
Invited Talk: Enclosing Hybrid Behavior
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21