Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO

Friesen, Viktor; Nordwig, André; Weber, M.

doi:10.1007/978-3-540-49676-2_22

Cited by 11 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The annual International Conference on Hybrid Systems: Computation and Control, which is a prominent vehicle for progress in this area, has been running for over twenty years. Some of the earliest work that we can cite includes papers like [61, 6, 7, 45], followed, for example by [60,37,41,74], and slightly later by [59,24,46,51,28,36]. The more than decade old survey [27] covers a large number of formulations such as these, and in particular, the tools that support them, such as HyTech [47], d/dt [9], PHaVer [35] and others.…”

Section: Related Workmentioning

confidence: 99%

Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem

Banach

2020

Science of Computer Programming

View full text Add to dashboard Cite

Normally, the passengers on urban rail systems remain fairly stationary, allowing for a relatively straightforward approach to controlling the dynamics of the system, based on the total rest mass of the train and passengers. However, when a mischievous rugby club board an empty train and then run and jump-stop during the braking process, they can disrupt the automatic mechanisms for aligning train and platform doors. This is the Rugby Club Problem for automated urban train control. A simple scenario of this kind is modelled in Hybrid Event-B, and sufficient conditions are derived for the prevention of the overshoot caused by the jump-stop. The challenges of making the model more realistic are discussed, and a strategy for dealing with the Rugby Club Problem, when it cannot be prevented, is contemplated.

show abstract

Section: Related Workmentioning

confidence: 99%

Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem

Banach

2020

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Some of the earliest work that we can cite includes papers like the previous studies 9‐12 . This initial effort rapidly led to other work such as the previous studies 13‐20 . Slightly later formulations include other studies 21‐28 .…”

Section: Related Approachesmentioning

confidence: 99%

Language evolution and healthiness for critical cyber‐physical systems

Banach

Zhu

2020

J Software Evolu Process

View full text Add to dashboard Cite

In the effort to develop critical cyber‐physical systems, it is tempting to extend existing computing formalisms to include continuous behaviour. This may happen in a way that neglects elements necessary for correctly expressing continuous properties of the mathematics and correct physical properties of the real‐world physical system. A simple language is taken to illustrate these possibilities. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are elaborated, resulting in the language Combined Discrete and Physical Programmes in Parallel (CDPPP). An example air conditioning system is used to illustrate the concepts presented, and it is developed both in the original ‘unhealthy’ language and in the modified ‘healthier’ CDPPP. The formal semantics of the improved language is explored.

show abstract

“…Therefore, most of the work cited above is complementary to our approach, either dealing with the modeling and simulation of hybrid systems, or with formal models for them. A notable exception is the work in the context of (Friesen et al, 1998a) where UML's class diagrams are extended for hybrid systems and coupled with Z specifications.…”

Section: Related Workmentioning

confidence: 99%

Modelling, Analysis, and Design of Hybrid Systems

Engell¹,

Frehse²,

Schnieder³

2002

Lecture Notes in Control and Information Sciences

View full text Add to dashboard Cite

PrefaceIn 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schwerpunktprogramm in German) called Kondisk-Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. Such a priority program is usually sponsored for six years and supports about twenty scientists at a time, in engineering and computer science mostly young researchers working for a doctoral degree. There is a yearly competition across all disciplines of arts and sciences for the funding of such programs, and the group of proposers was the happy winner of a slot in that year. The program started in 1996 after an open call for proposals; the successful projects were presented and re-evaluated periodically, and new projects could be submitted simultaneously. During the course of the focused research program, 25 different projects were funded in 19 participating university institutes, some of the projects were collaborative efforts of two groups with different backgrounds, mostly one from engineering and one from computer science.There were two main motivations for establishing Kondisk. The first was the fact that technical systems nowadays are composed of physical components with (mostly) continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Controllers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems. These two elements interact closely, and the resulting behavior can be surprisingly complex even for very simple systems, as demonstrated for the filling of three or more tanks by a switched server (Chase et al., 1993. Such complex behavior can neither be analyzed nor synthesized by methods that are based on either purely continuous or purely discrete systems theory. Despite the lack of theoretical tools or even powerful simulation environments for systems with mixed continuous and discrete dynamics, such systems have been engineered successfully on a trial-and-error basis, applying a combination of "divide and conquer" and "separation of concerns". The price that has to be paid, however, is extensive testing, frequent iterations in the design process, and the lack of guarantees for safety and performance properties.The second important factor in the creation of the priority program Kondiskwas the growing awareness of the need for a more comprehensive approach to hybrid systems both in the computer science and the control engineering communities, and the fact that important foundations had been laid in both camps -and sometimes across their borders as well. It was one of the key ideas in the call for proposals that the interaction of scientists from computer science and control engineering should be stimulated, and this resulted in several interdisciplinary projects. These projects not only led to interesting and novel results but generally created a deeper understanding of the complementary theories and issues on both sides. So...

show abstract

Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO

Cited by 11 publications

References 11 publications

Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem

Automated urban train control with hybrid Event-B: ‘Tackling’ the rugby club problem

Language evolution and healthiness for critical cyber‐physical systems

Modelling, Analysis, and Design of Hybrid Systems

Contact Info

Product

Resources

About