TIRA-Reference-Cited by-同舟云学术

TIRA

Published:2019-04-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Meyer Pierre-Jean¹,Devonport Alex¹,Arcak Murat¹

Affiliation:

1. University of California

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3302504.3311808

Reference27 articles.

1. Matthias Althoff. 2015. An Introduction to CORA 2015. In ARCH@ CPSWeek. 120--151. Matthias Althoff. 2015. An Introduction to CORA 2015. In ARCH@ CPSWeek. 120--151.

2. Reachability analysis of linear systems with uncertain parameters and inputs

3. Monotone control systems

4. M. Arcak and J. Maidens. 2018. Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties. In Principles of Modeling M. Lohstroh P. Derler and M. Sirjani (Eds.). Springer 61--76. M. Arcak and J. Maidens. 2018. Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties. In Principles of Modeling M. Lohstroh P. Derler and M. Sirjani (Eds.). Springer 61--76.

5. Contractor programming

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

1. zonoLAB: A MATLAB Toolbox for Set-Based Control Systems Analysis Using Hybrid Zonotopes;2024 American Control Conference (ACC);2024-07-10

2. Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks;2024 IEEE Security and Privacy Workshops (SPW);2024-05-23

3. Robust Control Barrier Functions for Sampled-Data Systems;IEEE Control Systems Letters;2024

4. Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis;Lecture Notes in Computer Science;2024

5. Exact Characterization of the Convex Hulls of Reachable Sets;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13