Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.