Foundations of a Compositional Interchange Format for Hybrid Systems

Beek, D.A. van; Reniers, Michel A.; Schiffelers, R.R.H.; Rooda, J.E.

doi:10.1007/978-3-540-71493-4_45

Cited by 25 publications

(9 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…3 is still work in progress. Some of the connections of CIF to other tools shown in the figure, such as the connection to EtherCAT for real-time control [16], are still based on the old version of CIF, CIF1 [60]. New developments are based on CIF2 [2,53,64].…”

Section: Overview Of Work On Cifmentioning

confidence: 99%

See 1 more Smart Citation

Syntax and semantics of the compositional interchange format for hybrid systems

Agut

Beek

Rooda

2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a specific set of problems, and has its own set of features. These formalisms and tools can be used in each stage of the embedded systems development, to verify and validate various requirements.The Compositional Interchange Format (CIF), is a formalism based on hybrid automata, which are composed using process algebraic operators. CIF aims to establish interoperability among a wide range of formalisms and tools by means of model transformations and cosimulation, which avoids the need for implementing many bilateral translators.This work presents the syntax and formal semantics of CIF. The semantics is shown to be compositional, and proven to preserve certain algebraic properties, which express our intuition about the behavior of the language operators. In addition we show how CIF operators can be combined to implement widely used constructs present in other timed and hybrid formalisms, and we illustrate the applicability of the formalism by developing several examples.Based on the formal specification of CIF, an Eclipse based simulation environment has been developed. We expect this work to serve as the basis for the formal definition of semantic preserving transformations between various languages for the specification of timed and hybrid systems.

show abstract

Section: Overview Of Work On Cifmentioning

confidence: 99%

“…This is guaranteed using the process-tyft format of [33]. An overview of these formalisms is given in [60]. Next we present a summary of this overview.…”

Section: Introductionmentioning

confidence: 98%

Syntax and semantics of the compositional interchange format for hybrid systems

Agut

Beek

Rooda

2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

show abstract

“…The tooling used for supervisory control synthesis was based on the first version of the Compositional Interchange Format, CIF 1 [15] [14]. The CIF toolset is now implemented in Eclipse [4], using Java as implementation language, and SVG (Scalable Vector Graphics) [16] for interactive, simulation based visualization.…”

Section: Model-based Systems Engineering Frameworkmentioning

confidence: 99%

Coordination Control of Complex Machines

Baeten

Beek

Markovski

et al. 2014

Coordination Control of Distributed Systems

View full text Add to dashboard Cite

Control and coordination are important aspects of the development of complex machines due to an ever increasing demand for better functionality, quality, and performance. In WP6 of the C4C project we developed a synthesis-centric systems engineering framework suitable for supervisory coordination of complex systems. The framework was employed to synthesize and validate a supervisory coordinator for maintenance procedures for a prototype of a high-tech Océ printer, showing proof of concept and viability of the proposed framework. The supervisor eliminates undesired behavior that could occur as a result of undesired interaction of the distributed printer components. In this chapter, we discuss the model-based systems engineering framework that was employed for synthesis of the supervisor and we illustrate the modeling process. Background and MotivationIn the last few decades, control software development has taken a more central role due to the ever increasing complexity of the machines, demands for higher quality and performance, and improved safety and ease of use [5]. Traditionally, the control software requirements are formulated informally in some sort of specification documents by domain engineers, to be translated into control software by software engineers. This is a time-consuming and an error prone process, since control requirements are often ambiguous and change frequently, so the produced software needs to be validated against the machine. If validation fails, the code must be rewritten leading to a define-validate-redefine loop. This issue in control software design gave rise to supervisory control theory [11,2,3,6], where models of high-level supervisory controllers, referred to as supervisors, are synthesized automatically based upon a formal model of the uncontrolled system, known as plant, and a model of the control requirements. Supervisory controllers observe the discrete-event behavior of the system and make control decisions based on the observed information. The supervisory controller synthesis problem is to achieve the greatest possible allowed behavior, which is specified by the control requirements, based on a given observable behavior.By applying automated control software generation based upon formal behavioral models, we aim to:1. Shift the focus of software engineers from writing and debugging code to modeling the plant and the control requirements. 2. Increase the use of models. Software engineers need not think in terms of code, since it is generated automatically. Instead, they make the formal models in terms of behavior, thus improving their communication with the domain engineers and other involved parties. 3. Shorten the design loop. Adjustments in the control specifications result in model changes, followed by automated synthesis of control software, which is likely to be less time consuming than directly adapting control code. 4. Use the formal behavioral models for simulation. We can validate the supervisor before expensive prototypes are built increasing confidence ...

show abstract

“…For example, see [7,8] and references therein for hybrid system descriptions based on hybrid automata, or the Modelica language specification [41], in particular Appendix C. Although hybrid system control is an interesting and emerging field, for the sake of conciseness this paper will focus on purely continuous-time physical models, with application to the design of continuoustime or sampled-time control systems. These larger, more detailed models play a double role, with respect to those described in the previous sub-section.…”

Section: Detailed Models For System Simulationmentioning

confidence: 99%

Beyond Simulation: Computer Aided Control System Design using Equation-based Object-oriented Modelling for the Next Decade

Casella¹,

Donida²,

Lovera³

2009

SNE

View full text Add to dashboard Cite

After 20 years since their birth, equation-oriented and object-oriented modelling techniques and tools are now mature, as far as solving simulation problems is concerned. Conversely, there is still much to be done in order to provide more direct support for the design of advanced, modelbased control systems, starting from object-oriented plant models. Following a brief review of the current state of the art in this field, the paper presents some proposals for future developments: open model exchange formats, automatic model-order reduction techniques, automatic derivation of simplified transfer functions, automatic derivation of LFT models, automatic generation of inverse models for robotic systems, and support for nonlinear model predictive control.

show abstract

Foundations of a Compositional Interchange Format for Hybrid Systems

Cited by 25 publications

References 24 publications

Syntax and semantics of the compositional interchange format for hybrid systems

Syntax and semantics of the compositional interchange format for hybrid systems

Coordination Control of Complex Machines

Beyond Simulation: Computer Aided Control System Design using Equation-based Object-oriented Modelling for the Next Decade

Contact Info

Product

Resources

About