Mountain View
biomedical and healthCAre Data Discovery Index Ecosystem
help Advanced Search
Title: Dataset Supporting Sound And Automated Synthesis Of Digital Stabilizing Controllers For Continuous Plants      
dateReleased:
03-05-2017
privacy:
information not avaiable
aggregation:
instance of dataset
dateCreated:
03-03-2017
refinement:
raw
ID:
doi:10.5281/ZENODO.345399
creators:
Abate, Alessandro
,
Cattaruzza, Dario
Cordeiro, Lucas
David, Cristina
Kesseli, Pascal
Kroening, Daniel
availability:
available
types:
other
description:
Executable benchmarks and result data set for the experimental evaluation in our publication "Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants" published at Hybrid Systems: Computation and Control (HSCC) 2017.   Abstract: Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction.  The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant amodels taken from the literature within minutes.
accessURL: https://doi.org/10.5281/ZENODO.345399
storedIn:
Zenodo
qualifier:
not compressed
format:
HTML
accessType:
landing page
authentication:
none
authorization:
none
abbreviation:
ZENODO
homePage: https://zenodo.org/
ID:
SCR:004129
name:
ZENODO

Feedback?

If you are having problems using our tools, or if you would just like to send us some feedback, please post your questions on GitHub.