Fixing Zeno gaps

DOI10.1016/J.TCS.2011.03.018MaRDI QIDQ549197zbMATHOpenAlexFDO

Authors Peter Höfner, Bernhard Möller

Publication date 7 July 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/files/38909/38909.pdf

zbMATH Keywords

hybrid systemsiterationsemiringKleene algebrafixpointsomega algebra

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of dynamical systems (37N99) Theory of computing (68Q99)

Recommendations

• Zeno hybrid systems
• An algebra of hybrid systems
• On the regularization of Zeno hybrid automata
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 3876566 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3782408 (Why is no real title available?)
• scientific article; zbMATH DE number 3569796 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1555176 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 2208070 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• A fixpoint theory for non-monotonic parallelism
• A lattice-theoretical fixpoint theorem and its applications
• Algebra of communicating processes with abstraction
• Algebraic calculi for hybrid systems
• An algebra of hybrid systems
• An instruction sequence semigroup with involutive anti-automorphisms
• Automated Reasoning in Kleene Algebra
• Bases for Chain-complete Posets
• Equational axioms for regular sets
• Hybrid Systems: Computation and Control
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Kleene getting lazy
• On the regularization of Zeno hybrid automata
• Process Algebra
• Process algebra for hybrid systems
• Process algebra with propositional signals
• Process algebra with timing
• Properties of data flow frameworks: A unified model
• Regular expressions and the equivalence of programs
• Relational Methods in Computer Science
• Specification and Development of Interactive Systems
• Temporal algebra
• The Theoretical Aspects of the Optimal Fixedpoint
• The common algebraic structure of exit-automata and machines
• Unique fixed points vs. least fixed points

Cited in

(2)

• A semantics for hybrid iteration
• A monoidal view on fixpoint checks

Describes a project that uses

Uses Software

• KeYmaera

This page was built for publication: Fixing Zeno gaps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549197)