Syntax and consistent equation semantics of hybrid Chi
نویسندگان
چکیده
منابع مشابه
Syntax and consistent equation semantics of hybrid Chi
The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its 'consistent equation semantics' enforces state changes to be consistent with invariants as in most hybrid automata. Ease of model...
متن کاملPreliminary Report: Syntax and Formal Semantics of Hybrid Chi
The hybrid χ (Chi) formalism integrates concepts from the dynamics and control theory with concepts from computer science. It also integrates a high expressivity with an elegant straightforward semantics, which is formally specified using a structured operational semantics. User-friendly modeling extensions are defined by means of a small straightforward syntactic translation. The χ language ha...
متن کاملSyntax and Formal Semantics of Chi 2.0
This report defines the syntax and formal semantics of the Chi 2.0 formalism. The Chi formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It combines a high expressivity and ease of modeling with a formal semantics. The Chi language is defined by means of an abstract and a concrete syntax. Th...
متن کاملFormal Semantics of Hybrid Chi
The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are ver...
متن کاملSyntax and Formal Semantics of Chi 2 . 0 12
syntax and informal semantics This chapter presents a concise definition of the abstract syntax and informal semantics of the elements of the χ formalism. The syntax definition is incomplete in the sense that the syntax of predicates, expressions, etc. is defined at a high level of abstraction. This is done because different implementations of χ , such as tools for simulation, verification, or ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2006
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2005.10.005