SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

DOI10.1145/2883817.2883849zbMath1364.68258OpenAlexW2340083835MaRDI QIDQ2988973

Peter Csaba Ölveczky, Soonho Kong, Kyungmin Bae, Sicun Gao, Edmund M. 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

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

Related Items (3)

Satisfiability Checking: Theory and Applications ⋮ CASP solutions for planning in hybrid domains ⋮ 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