Syntax and consistent equation semantics of hybrid Chi-Reference-Cited by-同舟云学术

Syntax and consistent equation semantics of hybrid Chi

Published:2006-06 Issue:1-2 Volume:68 Page:129-210
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

van Beek D.A.,Man K.L.,Reniers M.A.,Rooda J.E.,Schiffelers R.R.H.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference53 articles.

1. Equivalence of hybrid dynamical models;Heemels;Automatica,2001

2. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and consistent equation semantics of hybrid Chi, Tech. Rep. CS-Report 04-37, Eindhoven University of Technology, Department of Computer Science, The Netherlands, 2004.

3. Differential Equations with Discontinuous Right Hand Sides;Filippov,1988

4. Sliding Modes in Control Optimization;Utkin,1992

5. X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An approach to the description and analysis of hybrid systems, in: Workshop on Theory of Hybrid Systems, 1992, pp. 149–178.

Cited by 72 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Beauty and the Beast: Sok on Process Algebras and Cybersecurity;2024

2. Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation;Science of Computer Programming;2022-10

3. Semantic Model‐based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025;INCOSE International Symposium;2022-07

4. Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach;International Journal of Software Engineering and Knowledge Engineering;2022-02

5. A probabilistic calculus of cyber-physical systems;Information and Computation;2021-08