SMT-based analysis of virtually synchronous distributed hybrid systems

DOI10.1145/2883817.2883849zbMATH Open1364.68258OpenAlexW2340083835MaRDI QIDQ2988973FDOQ2988973

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

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

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)

Cited In (5)

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

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)