Papers Upload
Signal temporal logic-based attack detection in DC microgrids.pdfSignal Temporal Logic-based Attack Detection in DC Microgrids
Signal Temporal Logic-based Attack Detection in DC Microgrids
Reachability Analysis of Transformer-Isolated DC-DC Converters.pdfReachability Analysis of Transformer-Isolated DC-DC Converters
Reachability Analysis of Transformer-Isolated DC-DC Converters
Model Validation of PWM DC-DC Converters.pdfModel Validation of PWM DC-DC Converters
Model Validation of PWM DC-DC Converters
Hybrid Automat - From Verification to Implementation.pdfHybrid Automata: From Verification to Implementation
Hybrid Automata: From Verification to Implementation
Formal Verification of Charge Pump Phase-Locked Loop and Full Wave Rectifier Through Reachability Analysis.pdfCharge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Detection of false-data injection attacks in cyber-physical DC microgrids.pdfDetection of False-data Injection Attacks in Cyber-physical DC Microgrids
Detection of False-data Injection Attacks in Cyber-physical DC Microgrids
Computer-Aided Formal Verification of POwer Electronics Circuits.pdfComputer-Aided Formal Verification of Power Electronics Circuits
Computer-Aided Formal Verification of Power Electronics Circuits