A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
4th International Workshop on Applied Verification of Continuous and Hybrid Systems
In this vein, we construct a PWA model of the wind turbine in the SX format, which formally describes a network of hybrid automata and can be used by several reachability tools. ... The wind turbine benchmark is part of the ARCH benchmark repository. It entails closed-loop requirements and encompasses nonlinear and hybrid dynamics. ... Acknowledgments The authors would like to thank Simone Schuler for valuable discussions on wind turbine models. ...fatcat:vgkvulnpnneoxdbkbsew4epbbu
Starting with a standard simulation model, e.g., in MATLAB/Simulink, we transform it into an equivalent verification model, formally a network of hybrid automata, in the SX format used by several reachability ... If only a small subset of the partitions is reachable, the bottleneck of having excessively large PWA models can be avoided by composing the model on-the-fly during the reachability analysis. ... ACKNOWLEDGEMENT The authors would like to thank Willem Hagemann and Stefano Minopoli for valuable discussions. ...doi:10.1109/cdc.2017.8263907 dblp:conf/cdc/KekatosFF17 fatcat:3mjjeu6y5vdftifdm2zuw6c6mm
Piece-wise affine and mixed logical dynamical models for discrete time linear hybrid systems are reviewed. ... Constrained optimal control problems with linear and quadratic objective functions are defined. Some results on the structure and computation of the optimal control laws are presented. ... and automata, and the mutual interaction between the two. ...doi:10.3166/ejc.9.177-189 fatcat:m66xomiqfbgjbdaiutszsg55cy
much greater and more diverse than with the current plants. ... in the economics associated with operating nuclear power plants (NPPs) while maintaining their high availability. ... ACKNOWLEDGMENTS We would like to thank Walter Koncinski for his assistance in editing and formatting of the manuscript. ...doi:10.3389/fenrg.2021.696785 fatcat:4x4pgevfsrbhrihmdsrdegyptu
To cope with complexity of the problem, an existing approach that provides an alternative formulation for multi-mode switching models is adopted. ... The first step estimates the parameters of the linear ARX model, which is constructed through embedding all the sub-models. ... Simani et al. developed a method to detect the fault in the pitch sensors in the turbine blade system of the wind turbines  . ...doi:10.7939/r3709f fatcat:qxag4kodwjajtaxwrszaoqwo7a