Hybrid modelling of continuous-variable systems with application to supervisory control

Lunze, Jan; Nixdorf, Bernhard; Richter, H.

doi:10.23919/ecc.1997.7082292

Cited by 12 publications

(3 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets offer advantages over finite automata, particularly when the issues of model complexity and concurrency of processes are of concern. On the other hand, a continuous system can be approximated by a Petri net [20] and a Petri net model is used as discrete event representation of the continuous variable system by Lunze et al [17].…”

Section: Introductionmentioning

confidence: 99%

An Improvement of Software Architecture Verification

Ding

Liu

2009

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

Static analysis may cause state space explosion problem. In this paper we explore differential equation model that makes the task of verifying software architecture properties much more efficient. We demonstrate how ordinary differential equations can be used to verify application-specific properties of an architecture description without hitting this problem. An architecture behavior can be modeled by a group of ordinary differential equations containing some control parameters, where the control parameters are used to represent deterministic/nondeterministic choices. Each equation describes the state change. By checking the conditions associated with the control parameters, we can check whether an equation model is feasible. After solving a feasible equation model, based on the solution behavior and the state variable representation, we can analyze properties of the architecture. A WRIGHT architecture description of the Gas Station problem has been used as the example to illustrate our method. All of the equations have been computed with Matlab tool.

show abstract

Section: Introductionmentioning

confidence: 99%

An Improvement of Software Architecture Verification

Ding

Liu

2009

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…A crucial feature of the hybrid setting is that state machine realisations of the plant typically evolve on a real-valued vector, and hence uncountable, state space. The core idea of abstraction- based approaches is that, rather than synthesising a supervisor for the actual plant behaviour, one works instead with a plant abstraction that can be realised by a finite automaton (Koutsoukos et al, 2000;Cury et al, 1998;Lunze et al, 1997;Philips et al, 1999). In (Moor and Raisch, 1999;Moor et al, 2002), we develop an abstraction-based synthesis procedure within Willems' behavioural systems theory.…”

Section: Introductionmentioning

confidence: 99%

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1

Moor

Raisch

Davoren

2003

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Many hybrid control problems of practical interest can be decomposed in a hierarchy of control objectives, where each objective refers to a particular time scale and to a particular level of measurement aggregation. It is common engineering practice to exploit this hierarchical structure in the development of ad hoc solutions to hybrid control problems that are far beyond the computational limitations of known methods for systematic hybrid system design. This paper extends a known design method to (i) benefit from hierarchical decompositions provided by engineering intuition, and to (ii) allow for a formal proof that the composition of the individual layers forms an overall solution.

show abstract

“…The core idea of abstraction based approaches is that, rather than synthesising a supervisor for the actual plant behaviour, one works instead with a plant abstraction that can be realised by a finite automaton; e.g. [4,5,6,9]. In [7,8], we develop l-complete abstractions to allow for the refinement of abstractions in the case that controller synthesis is not successful because of the abstraction being too coarse.…”

Section: Introductionmentioning

confidence: 99%