Syntax and consistent equation semantics of hybrid Chi

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

doi:10.1016/j.jlap.2005.10.005

Cited by 102 publications

(81 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Chi language [4] has been developed to provide a process algebraic generic modeling formalism for hybrid systems. The language supports hierarchy and modularity to deal with large-scale systems, by providing operators for model reuse, parallelism, and nesting.…”

Section: Model Transformationsmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms. IntroductionIn current industrial practice, it is very difficult to deal with high-tech multidisciplinary system development due to system complexity, market pressure, and resource limitations. To overcome the difficulties, various kinds of models are used increasingly often in the development process. Specifically, formal and executable models built and employed in the design phase can be used to assess functional correctness and performance of component designs and overall system design. Formal verification, in particular model checking [3], is employed when a high degree of confidence in functional correctness of a design is required. To assess design performance, one

show abstract

Section: Model Transformationsmentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

show abstract

“…These include the Petri net mark-up language PNML [48], the discretely timed part of the hybrid process algebra χ [3], a subset of executable UML [32], as well as a number of domain specific languages like SML, a control language based on finite state machines used at CERN [18], and TRECS, a language that manages resource availability [33] in the wafer steppers manufactured by ASML.…”

Section: Interfacing With Other Languagesmentioning

confidence: 99%

An Overview of the mCRL2 Toolset and Its Recent Advances

Cranen

Groote

Keiren

et al. 2013

Lecture Notes in Computer Science

111

View full text Add to dashboard Cite

Abstract. The analysis of complex distributed systems requires dedicated software tools. The mCRL2 language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity gamebased solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.

show abstract

“…Other hybrid process algebras have been developed, such as ACP srt hs [24], hybrid χ [25] and the φ-calculus [26], but they all have a property inherited from hybrid automata theory [27,28], requiring that abstract actions are used to represent discontinuities in the physics. HyPA and BHPC [29] are the only hybrid process algebras that allow discontinuous behavior without explicit communication between actions.…”

Section: Related Formalismsmentioning

confidence: 99%

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

2008

View full text Add to dashboard Cite

Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond graph modeling formalism. Often, however, physical components may be best modeled as piecewise continuous with discrete mode changes, which leads to a violation of continuity principles. To support such hybrid models, bond graphs can be extended by facilitating a dynamic model structure, resulting in hybrid bond graphs. Behavior generation then requires computing continuous-time evolution, detecting the occurrence of events, executing the discrete state changes, and re-initializing the continuous-time state. This paper presents a comprehensive representation of these different aspects of behavior using hybrid process algebra. The behavior of a hybrid bond graph can then be studied using a uniform representation while a direct correspondence with the elements of the bond graph is maintained. Additionally, nondeterminism can be included in hybrid bond graph semantics which may alleviate the modeling task without being detrimental to the required analyses.

show abstract

Syntax and consistent equation semantics of hybrid Chi

Cited by 102 publications

References 41 publications

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

An Overview of the mCRL2 Toolset and Its Recent Advances

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

Contact Info

Product

Resources

About