Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems-Reference-Cited by-同舟云学术

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems

Published:2019 Issue: Volume: Page:137-154
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Gao Sicun,Kapinski James,Deshmukh Jyotirmoy,Roohi Nima,Solar-Lezama Armando,Arechiga Nikos,Kong Soonho

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-25543-5_9

Reference30 articles.

1. Bak, S.: t-Barrier certificates: a continuous analogy to k-induction. In: IFAC Conference on Analysis and Design of Hybrid Systems (2018)

2. Bernfeld, S.R., Lakshmikantham, V.: Practical stability and Lyapunov functions. Tohoku Math. J. (2) 32(4), 607–613 (1980)

3. Bobiti, R., Lazar, M.: A delta-sampling verification theorem for discrete-time, possibly discontinuous systems. In: HSCC (2015)

4. Lecture Notes in Computer Science;GE Collins,1975

5. Fränzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT 1(3–4), 209–236 (2007)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Passive Fault-Tolerant Augmented Neural Lyapunov Control: A method to synthesise control functions for marine vehicles affected by actuators faults;Control Engineering Practice;2024-07

2. Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

3. Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning;ACM Transactions on Embedded Computing Systems;2023-09-09

4. Augmented Neural Lyapunov Control;IEEE Access;2023

5. Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming;Information and Computation;2022-11