HIGHLIGHTS
- who: Chunna Zhao et al. from the School of Information Science and Engineering, Yunnan University, Kunming, China have published the research work: Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic, in the Journal: (JOURNAL)
- what: In this article, fractional-order PID systems are shown to be verified through a formal, higher-order logic theory-proof approach.
- how: This paper presents the higher-order logic (HOL) formal verification and modeling of fractional-order PID controller systems. Some formalization models were proposed including the formalization of fractional-order systems the formalization . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.