Design of high-speed and low-power finite-word-length PID controllers

Oudjida, Abdelkrim K.; Chaillet, Nicolas; Liacha, Ahmed; Berrandjia, Mohamed L.; Hamerlain, Mustapha

doi:10.1007/s11768-014-2131-5

Cited by 7 publications

(3 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recent results in digital control have focused on separate aspects of discretization, e.g. delayed response [17] and finite-precision arithmetic, with the goal either to verify [16] the correctness of the implementation or to optimize [36] its design.…”

Section: Discretization Effects In Control Designmentioning

confidence: 99%

Automated formal synthesis of provably safe digital controllers for continuous plants

et al. 2019

View full text Add to dashboard Cite

We present a sound and automated approach to synthesizing safe, digital controllers for physical plants represented as time-invariant models. Models are linear differential equations with inputs, evolving over a continuous state space. The synthesis precisely accounts for the effects of finite-precision arithmetic introduced by the controller. The approach uses counterexample-guided inductive synthesis: an inductive generalization phase produces a controller that is known to stabilize the model but that may not be safe for all initial conditions of the model. Safety is then verified via bounded model checking: if the verification step fails, a counterexample is provided to the inductive generalization, and the process further iterates until a safe controller is obtained. We demonstrate the practical value of this approach by automatically synthesizing safe controllers for physical plant models from the digital control literature.

show abstract

Section: Discretization Effects In Control Designmentioning

confidence: 99%

Automated formal synthesis of provably safe digital controllers for continuous plants

et al. 2019

View full text Add to dashboard Cite

show abstract

“…Various effects of discretizing dynamics, including delayed response [13] and Finite Word Length (FWL) semantics [3] have been studied, with the goal to either verify [7] or to optimize [29] given implementations.…”

Section: Formal Verification Of Linear Digital Controllersmentioning

confidence: 99%

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Abate

Bessa

Cattaruzza

et al. 2017

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counterexample 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 models taken from the literature within minutes.

show abstract

“…Discretization Effects -The classical approach to control synthesis has often disregarded digitalization effects, whereas more recently modern techniques have focused on different aspects of discretization, including delayed response [10] and finite word length (FWL) semantics, with the goal either to verify (e.g., [9]) or to optimize (e.g., [24]) given implementations.…”

Section: Related Workmentioning

confidence: 99%

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

Abate¹,

Bessa²,

Cattaruzza³

et al. 2017

Preprint

View full text Add to dashboard Cite

We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time-invariant models. Models are given as dynamical equations with inputs, evolving over a continuous state space and accounting for errors due to the digitization of signals by the controller. Our counterexample guided inductive synthesis (CEGIS) approach has two phases: We synthesize a static feedback controller that stabilizes the system but that may not be safe for all initial conditions. Safety is then verified either via BMC or abstract acceleration; if the verification step fails, a counterexample is provided to the synthesis engine and the process iterates until a safe controller is obtained. We demonstrate the practical value of this approach by automatically synthesizing safe controllers for intricate physical plant models from the digital control literature.

show abstract

Design of high-speed and low-power finite-word-length PID controllers

Cited by 7 publications

References 36 publications

Automated formal synthesis of provably safe digital controllers for continuous plants

Automated formal synthesis of provably safe digital controllers for continuous plants

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

Contact Info

Product

Resources

About