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 application/pdf.
Filters
EPiC Series in Computing Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)
2017
4th International Workshop on Applied Verification of Continuous and Hybrid Systems
unpublished
Preserved Fulltext
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
Constructing verification models of nonlinear Simulink systems via syntactic hybridization
2017
2017 IEEE 56th Annual Conference on Decision and Control (CDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Hybrid Systems Modeling and Control
2003
European Journal of Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Prognostics and Health Management in Nuclear Power Plants: An Updated Method-Centric Review With Special Focus on Data-Driven Methods
2021
Frontiers in Energy Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
Identification of Switching ARX Models for Hybrid Systems
2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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 [78] . ...
doi:10.7939/r3709f
fatcat:qxag4kodwjajtaxwrszaoqwo7a