Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.