×

Found 184 Documents (Results 1–100)

Verifying switched system stability with logic. (English) Zbl 07807710

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. (English) Zbl 07807697

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Automated nonlinear control structure design by domain of attraction maximization with eigenvalue and frequency domain specifications. (English) Zbl 1504.93258

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 15th international conference, ICINCO 2018, Porto, Portugal, July 29–31, 2018, Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 613, 118-141 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Automated and sound synthesis of Lyapunov functions with SMT solvers. (English) Zbl 1507.68335

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 97-114 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Polynomial constraints and unsat cores in Tarski. (English) Zbl 1395.68353

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 466-474 (2018).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software