The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

Rounds, William C.; Song, Hosung

doi:10.1007/3-540-36580-x_32

Cited by 40 publications

(34 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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

Section: Related Formalismsmentioning

confidence: 99%

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

2008

View full text Add to dashboard Cite

show abstract

“…These are given in the standard form of transition inference rules, embodying the method of structural operational semantics. A full discussion of them can be found in [8].…”

Section: 2mentioning

confidence: 99%

“…In last year's HSCC conference, we introduced the Φ-calculus [8], an extension of Milner's powerful π-calculus, so that concurrent and reconfigurable programs could interact with a (concurrent) continuous environment in the sense in which ordinary hybrid automata do so. In that paper, though, we were concerned only with the operational (hybrid) semantics of such systems, and not with any mechanism for reasoning about them.…”

Section: Introductionmentioning

confidence: 99%

“…We get around issue (iii) because of the way the hybrid π-calculus treats the continuous environment -as a separate component of what we termed an embedded system in [8]. Our connective for continuous flows refers only to the continuous part of the system, with the result that any properties of the continuous system itself that we may need (stability, attractors, etc.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Spatial Logic for the Hybrid π-Calculus

Rounds

2004

Hybrid Systems: Computation and Control

Self Cite

View full text Add to dashboard Cite

“…Despite the growth of hybrid modeling languages [2][3][4][5][6], most hybrid modeling languages do not support reconfiguration. To properly describe and analyze reconfigurable hybrid systems, a formal approach is necessary which integrates reconfigurable discrete behaviors with continuous behaviors.…”

Section: Introductionmentioning

confidence: 99%

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

Kratz

Sokolsky

Pappas

et al. 2006

Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

This paper describes the modeling language as an extension for architectural reconfiguration to the existing distributed hybrid system modeling language Charon. The target application domain of R-Charon includes but is not limited to modular reconfigurable robots and large-scale transportation systems. While largely leaving the Charon syntax and semantics intact, R-Charon allows dynamic creation and destruction of components (agents) as well as of links (references) between the agents. As such, R-Charon is the first formal, hybrid automata based modeling language which also addresses dynamic reconfiguration. We develop and present the syntax and operational semantics for R-Charon on three levels: behavior (modes), structure (agents) and configuration (system). Abstract. This paper describes the modeling language R-Charon as an extension for architectural reconfiguration to the existing distributed hybrid system modeling language Charon. The target application domain of R-Charon includes but is not limited to modular reconfigurable robots and large-scale transportation systems. While largely leaving the Charon syntax and semantics intact, R-Charon allows dynamic creation and destruction of components (agents) as well as of links (references) between the agents. As such, R-Charon is the first formal, hybrid automata based modeling language which also addresses dynamic reconfiguration. We develop and present the syntax and operational semantics for R-Charon on three levels: behavior (modes), structure (agents) and configuration (system).

show abstract

The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

Cited by 40 publications

References 10 publications

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

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

A Spatial Logic for the Hybrid π-Calculus

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

Contact Info

Product

Resources

About