Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Article Details
Title:	Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Article URLs:	https://doi.org/10.1145/3049797.3049802
Alternative Article URLs:
Authors:	Alessandro Abate	University of Oxford
	Iury Bessa	Federal University of Amazonas
	Dario Cattaruzza	University of Oxford
	Lucas C. Cordeiro	University of Oxford Federal University of Amazonas
	Cristina David	University of Oxford
	Pascal Kesseli	University of Oxford
	Daniel Kroening	University of Oxford
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://www.cprover.org/DSSynth/experiment.tar.gz
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/hybrid/AbateBCCDKK17
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2017