Lagrangian methods for approximating the viability kernel in high-dimensional systems (original) (raw)

Computing the viability kernel using maximal reachable sets

Guy Dumont

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12, 2012

View PDFchevron_right

Approximating Viability Kernels of Non-linear Systems

João Sequeira

Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics, 2018

View PDFchevron_right

Reachability of Koopman Linearized Systems Using Explicit Kernel Approximation and Polynomial Zonotope Refinement

Ethan Lew

View PDFchevron_right

Geometric programming relaxations for linear system reachability

George Pappas

2004

View PDFchevron_right

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems

mahmoud Khaled

Computer Aided Verification, 2020

View PDFchevron_right

MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

Spring Berman

2007

View PDFchevron_right

Nonlinear Systems: Approximating Reach Sets

gaurav tiwari

2004

View PDFchevron_right

Reachability set subspace computation for nonlinear systems using sampling methods

Daniel J Scheeres

IEEE Conference on Decision and Control and European Control Conference, 2011

View PDFchevron_right

On Estimates of Reachable Sets of Multidimensional Control Systems

Mikhail Gusev

Proceedings of the 18th IFAC World Congress, 2011

View PDFchevron_right

Reachability Analysis of Nonlinear Systems Using Conservative Approximation

thao dang

2003

View PDFchevron_right

Sensitivity Analysis for Linear Systems based on Reachability Sets

Joao Hespanha

2019 IEEE 58th Conference on Decision and Control (CDC)

View PDFchevron_right

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods

Meeko Oishi

25th ACM International Conference on Hybrid Systems: Computation and Control

View PDFchevron_right

Recent progress in continuous and hybrid reachability analysis

Thao Dang

2006

View PDFchevron_right

Stochastic Reachability for Systems up to a Million Dimensions

Meeko Oishi

ArXiv, 2019

View PDFchevron_right

Data-Driven Reachability Analysis with Christoffel Functions

FOREST YANG

2021 60th IEEE Conference on Decision and Control (CDC), 2021

View PDFchevron_right

The Limits of Applicability of the Linearization Method in Calculating Small–Time Reachable Sets

Mikhail Gusev

Ural Mathematical Journal, 2020

View PDFchevron_right

The continual reachability set and its computation using maximal reachability techniques

Guy Dumont

IEEE Conference on Decision and Control and European Control Conference, 2011

View PDFchevron_right

SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions

Meeko Oishi

2021 60th IEEE Conference on Decision and Control (CDC), 2021

View PDFchevron_right

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

Sven Dražan

arXiv (Cornell University), 2011

View PDFchevron_right

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

Sven Dražan

Electronic Proceedings in Theoretical Computer Science, 2011

View PDFchevron_right

Data-Driven Stochastic Reachability Using Hilbert Space Embeddings

Kendric Ortiz

ArXiv, 2020

View PDFchevron_right

On Convergence of External Ellipsoidal Approximations of the Reachability Domains of Discrete Dynamic Linear Systems

Alexander Nazin

Automation and Remote Control, 2004

View PDFchevron_right

Inner approximated reachability analysis

Olivier Mullier, Eric Goubault, Sylvie Putot

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14, 2014

View PDFchevron_right

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Eric Goubault

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control

View PDFchevron_right

Lagrangian approximations for stochastic reachability of a target tube

Meeko Oishi

Automatica, 2021

View PDFchevron_right

Data-Driven Reachability Analysis from Noisy Data

ِAmr Alanwar

ArXiv, 2021

View PDFchevron_right

Algorithms for Computing Reachable Sets and Control Sets

Fritz Colonius

IFAC Proceedings Volumes, 2001

View PDFchevron_right

The method of uniform monotonous approximation of the reachable set border for a controllable system

Tatiana Zarodnyuk

Journal of Global Optimization, 2015

View PDFchevron_right