Alec Edwards
- Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
2023/11/16 by Alec Edwards, Edwards, Alec, Andrea Peruffo +3 · 10 citations
Physics and Astronomy · Computer Science · Engineering · #Model Reduction and Neural Networks #Formal Methods in Verification #Real-time simulation and control systems
- Safe Reach Set Computation via Neural Barrier Certificates
2024/04/29 by Alessandro Abate, Abate, Alessandro, Sergiy Bogomolov +9 · 4 citations
Computer Science · Engineering · #Advanced Memory and Neural Computing #Cognitive Computing and Networks #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
2023/09/12 by Alec Edwards, Edwards, Alec, Andrea Peruffo +3 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
2023/12/13 by Virginie Debauche, Debauche, Virginie, Alec Edwards +5 · 1 citation
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Dynamical Systems (math.DS) #FOS: Mathematics #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC)