Logics of Dynamical Systems

We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the state of a system evolves over time. They are important in modeling and understanding many applications, including embedded...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Platzer, Andre
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Acceleration Automata axiomatization Complexity theory deduction differential dynamic logic Differential equations dynamic logic hybrid systems logic of dynamical systems Mathematical model Mathematics of computing Mathematics of computing > Continuous mathematics Mathematics of computing > Continuous mathematics > Calculus Mathematics of computing > Continuous mathematics > Calculus > Lambda calculus Semantics Theory of computation Theory of computation > Formal languages and automata theory Theory of computation > Logic Theory of computation > Logic > Proof theory Theory of computation > Semantics and reasoning Vehicle dynamics
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!