Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling-Reference-Cited by-同舟云学术

Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling

Published:2016-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
language:
Short-container-title:

Author:

Monteiro Felipe R.¹

Affiliation:

1. Federal University of Amazonas, Brazil

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2950290.2983979

Reference34 articles.

1. K. Ogata. Modern Control Engineering. Prentice Hall PTR Upper Saddle River NJ USA 4th edition 2001. K. Ogata. Modern Control Engineering. Prentice Hall PTR Upper Saddle River NJ USA 4th edition 2001.

2. FPGA Design Methodology for Industrial Control Systems—A Review

3. Digital signal processors for modern control systems

4. Verification of fixed-point digital controllers using direct and delta forms realizations

5. Y. Guang-Hong G. Xiang-Gui C. Wei-Wei and G. Wei. Linear Systems: Non-Fragile Control and Filtering. CRC Press Inc. Boca Raton FL USA 1st edition 2013. Y. Guang-Hong G. Xiang-Gui C. Wei-Wei and G. Wei. Linear Systems: Non-Fragile Control and Filtering. CRC Press Inc. Boca Raton FL USA 1st edition 2013.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifying fragility in digital systems with uncertainties using DSVerifier v2.0;Journal of Systems and Software;2019-07

2. DSValidator;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11

3. Verifying digital systems with MATLAB;Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis;2017-07-10