DSSynth

MaRDI QIDQ38556swMATHFDO

Official website http://dsverifier.org/

Described by source

• Sound and automated synthesis of digital stabilizing controllers for continuous plants

Cited in

(1)

• Automated formal synthesis of provably safe digital controllers for continuous plants

This page was built for software: DSSynth