HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2021 easychair.org. All rights reserved.