Fetching the paper…
Reading the bibliography…
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations.
Nonlinear Systems . Interdisciplinary Applied Mathematics, Vol. 10
Shankar Sastry. 1999 · 1999
Earlier work this paper cites.
Stochastic Safety Verification Using Barrier Certificates. In 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) . IEEE, Nassau, Bahamas, 929–934 Vol.1
S. Prajna, A. Jadbabaie, and G.J. Pappas. 2004 · 2004
Earlier work this paper cites.
Barrier Certificates for Nonlinear Model Validation
Stephen Prajna. 2006 · 2006
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen. 2008 · 2008
Earlier work this paper cites.
SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB
Antonis Papachristodoulou, James Anderson, Giorgio Valmorbida, Stephen Prajna, Pete Seiler, and Pablo A. Parrilo. 2013 · 2013
Earlier work this paper cites.
Mathematical control theory: deterministic finite dimensional systems . Vol. 6
Eduardo D Sontag. 2013 · 2013
Earlier work this paper cites.
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties
Hadi Ravanbakhsh and Sriram Sankaranarayanan. 2015 · 2015
Earlier work this paper cites.
Simulation based computation of certificates for safety of dynamical systems. In Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings 15 . Springer, 303–317
Stefan Ratschan. 2017 · 2017
Earlier work this paper cites.
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
Daniel Ahmed, Andrea Peruffo, and Alessandro Abate. 2018 · 2018
Earlier work this paper cites.
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming. In 2018 IEEE Conference on Decision and Control (CDC) . 4896–4901
Cees F. Verdier and Manuel Mazo. 2018 · 2018
Cited alongside, same era.
Neural lyapunov control
Ya-Chien Chang, Nima Roohi, and Sicun Gao. 2019 · 2019
Cited alongside, same era.
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. In Computer Aided Verification , Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing, Cham, 137–154
Sicun Gao, James Kapinski, Jyotirmoy Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Arechiga, and Soonho Kong. 2019 · 2019
Cited alongside, same era.
Formal synthesis of Lyapunov neural networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. 2021b · 2020
Cited alongside, same era.
Formal controller synthesis for hybrid systems using genetic programming
Cees Ferdinand Verdier and Manuel Mazo Jr. 2020 · 2020
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
Charles Dawson, Sicun Gao, and Chuchu Fan. 2023 · 2022
Later among the works it cites.
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, and Thomas A. Henzinger. 2022 · 2022
Later among the works it cites.
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. In Tools and Algorithms for the Construction and Analysis of Systems , Sriram Sankaranarayanan and Natasha Sharygina (Eds.). Springer Nature Switzerland, Cham, 3–25
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, and Đorđe Žikelić. 2023 · 2023
Closest in time.
Augmented Neural Lyapunov Control
Davide Grande, Enrico Anderlini, Andrea Peruffo, and Georgios Salavasidis. 2023a · 2023
Closest in time.
Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems. In 2023 62nd IEEE Conference on Decision and Control (CDC)
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Synthesizing Barrier Certificates Using Neural Networks. In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC ’20) . Association for Computing Machinery, New York, NY, USA, 1–11
Hengjun Zhao, Xia Zeng, Taolue Chen, and Zhiming Liu. 2020 · 2020
Cited alongside, same era.
Feedback systems: an introduction for scientists and engineers
Karl Johan Åström and Richard M Murray. 2021 · 2021
Cited alongside, same era.
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
Andrea Peruffo, Daniele Ahmed, and Alessandro Abate. 2021 · 2021
Cited alongside, same era.
FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates Using Neural Networks. In Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC ’21) . Association for Computing Machinery, New York, NY, USA, 1–11
Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, and Andrea Peruffo. 2021a
Cited in the paper.
Fossil 2.0 Repository
Alec Edwards, Andrea Peruffo, and Alessandro Abate. 2023a
Cited in the paper.
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis
Alec Edwards, Andrea Peruffo, and Alessandro Abate. 2023b
Cited in the paper.
Davide Grande, Davide Fenucci, Andrea Peruffo, Enrico Anderlini, Alex B Phillips, Thomas Giles, and Georgios Salavasidis. 2023b · 2023
Closest in time.
Safety Certification for Stochastic Systems via Neural Barrier Functions
Frederik Baymler Mathiesen, Simeon C. Calvert, and Luca Laurenti. 2023 · 2023
Closest in time.
Stability Analysis and Controller Synthesis using Single-hidden-layer ReLU Neural Networks
Pouya Samanipour and Hasan A. Poonawala. 2023 · 2023
Closest in time.
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, and Krishnendu Chatterjee. 2023 · 2023
Closest in time.