Keyword:hybrid system

Publications
Techno-Economics Utilization Case Study of Renewable Energy PV Source for Swapping Battery Charging Stations Handoko R. Iskandar, Nana Heryana, Agus Purwadi and Jihad Furqani EasyChair Preprint 15427
Advanced Battery Charging of EV’s Using Hybrid Energy Sources and Monitoring with IOT Sunil Kumar Chaudhary, Aryan Prasad, Praveen Kumar, Gargi Verma, Anurag Singh and Anushka Gupta EasyChair Preprint 13015
Hybridization of Fuzzy Min-Max Neural Networks with kNN for Enhanced Pattern Classification. Anil Kumar and P.S.V.S Sai Prasad EasyChair Preprint 5073
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 37
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)
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
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
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
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