Keyword:hybrid system

Papers
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