Keyword:hybrid system

Papers
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Hybridization of Fuzzy Min-Max Neural Networks with kNN for Enhanced Pattern Classification. Anil Kumar and P. S. V. S. Sai Prasad EasyChair Preprint no. 5073
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) Jawher Jerray, Laurent Fribourg and Étienne André In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing Maximilian Gaukler and Peter Ulbrich In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Modelling and Optimization of Hybrid Renewable Energy (Solar, Wind and Fuel Cells): A case of South Africa Regions Sempe Leholo, Pius Adewale Owolawi and Kayode Timothy Akindeji EasyChair Preprint no. 37
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Yang Gao and Martin Fränzle In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary Pavithra Prabhakar and Miriam García Soto In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015