SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
暂无分享,去创建一个
[1] Peter Csaba Ölveczky,et al. Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study , 2015, Sci. Comput. Program..
[2] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[3] Peter Csaba Ölveczky,et al. Hybrid Multirate PALS , 2015, Logic, Rewriting, and Concurrency.
[4] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[5] Peter Csaba Ölveczky,et al. Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems , 2010, ICFEM.
[6] Xiaokang Qiu,et al. A Formal Architecture Pattern for Real-Time Distributed Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.
[7] R. P. G. Collinson,et al. Introduction to Avionics Systems , 2003 .
[8] Edmund M. Clarke,et al. Satisfiability modulo ODEs , 2013, 2013 Formal Methods in Computer-Aided Design.
[9] Taylor T. Johnson,et al. Anonymized Reachability of Hybrid Automata Networks , 2014, FORMATS.
[10] Peter Csaba Ölveczky,et al. Formal patterns for multirate distributed real-time systems , 2014, Sci. Comput. Program..
[11] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[12] Sergiy Bogomolov,et al. Quasi-dependent variables in hybrid automata , 2014, HSCC.
[13] Taylor T. Johnson,et al. A Small Model Theorem for Rectangular Hybrid Automata Networks , 2012, FMOODS/FORTE.
[14] Siu O'Young,et al. Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control , 1997, Hybrid Systems.
[15] Gerd Behrmann,et al. Adding Symmetry Reduction to Uppaal , 2003, FORMATS.