Corpus ID: 761118

Dynamic Logics of Dynamical Systems

@article{Platzer2012DynamicLO,
  title={Dynamic Logics of Dynamical Systems},
  author={A. Platzer},
  journal={ArXiv},
  year={2012},
  volume={abs/1205.4788}
}
  • A. Platzer
  • Published 2012
  • Computer Science, Mathematics
  • ArXiv
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including… Expand
12 Citations

References

SHOWING 1-10 OF 232 REFERENCES
Logics of Dynamical Systems
  • A. Platzer
  • Mathematics, Computer Science
  • 2012 27th Annual IEEE Symposium on Logic in Computer Science
  • 2012
  • 114
  • PDF
Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems
  • A. Platzer
  • Mathematics, Computer Science
  • Ausgezeichnete Informatikdissertationen
  • 2008
  • 10
  • PDF
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
  • 54
  • PDF
Differential Dynamic Logic for Hybrid Systems
  • A. Platzer
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2008
  • 356
  • PDF
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
  • A. Platzer
  • Computer Science, Mathematics
  • Log. Methods Comput. Sci.
  • 2012
  • 59
  • PDF
The Complete Proof Theory of Hybrid Systems
  • A. Platzer
  • Mathematics, Computer Science
  • 2012 27th Annual IEEE Symposium on Logic in Computer Science
  • 2012
  • 113
  • PDF
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
  • A. Platzer
  • Mathematics, Computer Science
  • TABLEAUX
  • 2007
  • 80
  • PDF
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
  • 52
  • PDF
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
  • 31
  • Highly Influential
  • PDF
Verification of hybrid systems: formalization and proof rules in PVS
  • 35
  • PDF
...
1
2
3
4
5
...