Formal verification of fractional-order pid control systems using higher-order logic

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 :)

  Username or E-mail:

  If you don't have an account, you can create one here.