Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli and Daniel Kroening
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
ISBN
978−1−4503−4590−3
Keywords
Cegis‚ digital control synthesis‚ finite−word−length representation‚ quantization‚ time sampling
Location
Pittsburgh‚ Pennsylvania‚ USA
Pages
197–206
Publisher
ACM
Series
HSCC '17
Year
2017