SMT-based analysis of virtually synchronous distributed hybrid systems

DOI10.1145/2883817.2883849MaRDI QIDQ2988973zbMATH OpenOpenAlexFDO

Authors Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund Clarke

Publication date 19 May 2017

Published in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2883817.2883849

zbMATH Keywords

SMTsynchronizersdistributed hybrid systemsPALS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Hybrid multirate PALS
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• Verification and Control of Hybrid Systems
• scientific article; zbMATH DE number 744075
• Convergence Verification: From Shared Memory to Partially Synchronous Systems

Cited in

(5)

• Hybrid multirate PALS
• Satisfiability checking: theory and applications
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
• CASP solutions for planning in hybrid domains
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems

This page was built for publication: SMT-based analysis of virtually synchronous distributed hybrid systems

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