DSSynth: An automated digital controller synthesis tool for physical plants

समान संसाधन

• Automated formal synthesis of digital controllers for state-space physical plants
  द्वारा: Abate, A, और अन्य
  प्रकाशित: (2017)
• Sound and automated synthesis of digital stabilizing controllers for continuous plants
  द्वारा: Abate, A, और अन्य
  प्रकाशित: (2017)
• Automated formal synthesis of provably safe digital controllers for continuous plants
  द्वारा: Abate, A, और अन्य
  प्रकाशित: (2019)
• DSValidator: an automated counterexample reproducibility tool for digital systems
  द्वारा: Chaves, L, और अन्य
  प्रकाशित: (2018)
• Counterexample guided inductive synthesis modulo theories
  द्वारा: Abate, A, और अन्य
  प्रकाशित: (2018)