Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Konečný, Michal; Taha, Walid; Duracz, Jan; Duracz, Adam; Ames, Aaron D.

doi:10.1109/cpsna.2013.6614258

Cited by 13 publications

(11 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In 2012, work began on one of the most significant technical results of the effort to date: developing a method for the correct simulation of Zeno systems [12]. This included the implementation of the first rigorous, enclosure-based simulator for a subset of Acumen.…”

Section: Approach and Implementationmentioning

confidence: 99%

See 1 more Smart Citation

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Taha

Duracz

Zeng

et al. 2016

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut-practical next-generation tools can deliver to developers of CyberPhysical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.

show abstract

Section: Approach and Implementationmentioning

confidence: 99%

“…The implementation also supports an "enclosure" semantics, which is intended to produce rigorous over-approximations (guaranteed upper and lower bounds) for all simulations [12]. This is the semantics that we would like Acumen, ultimately, to provide.…”

Section: Emerging Designmentioning

confidence: 99%

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Taha

Duracz

Zeng

et al. 2016

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Except for Zélus, none of the above semantic models are Zeno-free, which means that, as explained in the next sections, they do not reflect the fact that time diverges and rely on analysing the solver output to detect and advance past the Zeno points [13] (cf. Section 2).…”

Section: Introductionmentioning

confidence: 99%

An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

Bliudze

Furic

2014

Linköping Electronic Conference Proceedings

View full text Add to dashboard Cite

We discuss the challenges of building a simulation framework for hybrid systems, in particular the wellknown Zeno effect and correct composition of models idealised by abstracting irrelevant behavioural details (e.g. the bounce dynamics of a bouncing ball or the process of fuse melting in an electrical circuit). We argue that the cornerstone of addressing these challenges is the definition of a semantic framework with an appropriate underlying model of time.Using two simple examples, we illustrate the properties of such a model and explain why existing models are not sufficient. Finally, we propose a new Zeno-free semantic model that allows mixing discrete and continuous behaviour in a rigorous way and provides for the compositional behavioural abstraction.Although it is based on non-standard analysis, we explain how our semantic model can be used to develop hybrid system simulators.

show abstract

“…As a result, severity calculations must be performed manually based on simulation results. This simple model sufficed to illustrate relevance of rigorous simulation tools [2] to this problem domain. However, the simplicity of the model also limited its practical utility.…”

Section: Introductionmentioning

confidence: 99%

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment

Duracz

Eriksson²,

Bartha

et al. 2015

2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium

Self Cite

View full text Add to dashboard Cite

Abstract-Rigorous simulation is a new technology that can play a key role in managing uncertainty in the design of safetycritical cyber-physical systems. One of its important applications is the analysis and evaluation of functional safety for road vehicles according to international standards such as ISO 26262. Previous work presented preliminary evidence to support the feasibility of using rigorous simulation for this purpose. Here we report on advances in our implementation of rigorous simulation and show how they enable the rigorous simulation of more refined and more complete models. A larger case study highlights the benefits of these advances and helps us identify new challenges that should be addressed by future work.

show abstract

Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Cited by 13 publications

References 34 publications

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment

Contact Info

Product

Resources

About