scientific article; zbMATH DE number 1301623

MaRDI QIDQ4246822zbMATH OpenFDO

Authors Simin Nadjm-Tehrani

Publication date 29 November 1999

zbMATH Keywords

compositionalityhybrid transition systemsynchronous programtransition graph

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Programming involving graphs or networks (90C35) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 1507211
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• scientific article; zbMATH DE number 1617300
• Repairing time-determinism in the process algebra for hybrid systems
• The Discrete Time Behaviour of Restricted Linear Hybrid Automata

Cited in

(10)

• From ATP to timed graphs and hybrid systems
• Hybrid systems on time scales
• Languages and models for hybrid automata: a coalgebraic perspective
• Dealing with zero-time transitions in axiom systems.
• Hybrid automata as coalgebras
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• scientific article; zbMATH DE number 1507211 (Why is no real title available?)
• scientific article; zbMATH DE number 1444348 (Why is no real title available?)
• scientific article; zbMATH DE number 5198977 (Why is no real title available?)
• Analysis of three hybrid systems in timed CRL

This page was built for publication:

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