Filters








5 Hits in 4.6 sec

EPiC Series in Computing Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)

Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 4th International Workshop on Applied Verification of Continuous and Hybrid Systems   unpublished
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

Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 2017 IEEE 56th Annual Conference on Decision and Control (CDC)  
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

Manfred Morari, Mato Baotic, Francesco Borrelli
2003 European Journal of Control  
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

Xingang Zhao, Junyung Kim, Kyle Warns, Xinyan Wang, Pradeep Ramuhalli, Sacit Cetiner, Hyun Gook Kang, Michael Golay
2021 Frontiers in Energy Research  
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

Sohail Nazari
2013
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