Invariants for continuous linear dynamical systems
Continuous linear dynamical systems are used extensively in mathematics, computer science, physics, and engineering to model the evolution of a system over time. A central technique for certifying safety properties of such systems is by synthesising inductive invariants. This is the task of finding...
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | Conference item |
| اللغة: | English |
| منشور في: |
Schloss Dagstuhl
2020
|