Abstract
Abstract This paper introduces an application of a Formal Verification (or model checking) technique to improve performance in a voltage collapse power control system. The model of the control system has a hybrid character and is comprised of a continuous-time load dynamics model, algebraic equations of the power balance on the load bus, and a discrete tap changer controller. The model is developed by ABB Schweiz AG Corporate Research as a test case intended for control synthesis and analysis of hybrid systems. Formal Verification of hybrid control system relies on the possibility to construct a (mite state transition model of a discretized system. An efficient search procedure is used to check whether desired system properties hold true in that model. Formal verification methods provide full coverage of all possible cases (scenarios), and thereby check whether the specified system properties are satisfied. The power control system properties were verified with the help of RuleBase, a formal verification ...
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
