Cover Image

JuliaReach: a Toolbox for Set-Based Reachability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bogomolov, Sergiy, Forets, Marcelo, Frehse, Goran, Potomkin, Kostiantyn, Schilling, Christian
Format:	Preprint
Published:	2019
Subjects:	Systems and Control Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
by: Haddad, Shadi, et al.
Published: (2023)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
by: Haimovich, Hernan, et al.
Published: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Reachability-based Approach to Point-to-Point Steering Problem
by: Bae, Juho, et al.
Published: (2025)

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings
by: Liu, Zexiang, et al.
Published: (2023)

Data-Driven Synthesis of Robust Positively Invariant Sets from Noisy Data
by: Wang, Chi, et al.
Published: (2026)

Opinion Dynamics with Set-Based Confidence: Convergence Criteria and Periodic Solutions
by: Zabarianska, Iryna, et al.
Published: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Contraction theory: Hausdorff--Riemann Measures as Set-Based Lyapunov Functions
by: Matveev, A., et al.
Published: (2026)

Towards optimal control of ensembles of discrete-time systems
by: Fiedler, Christian, et al.
Published: (2025)

Explicit Bounds on the Hausdorff Distance for Truncated mRPI Sets via Norm-Dependent Contraction Rates
by: Sun, Jiaxun, et al.
Published: (2025)

Model-Based Adaptive Control of Modular Multilevel Converters
by: Tebaldi, Davide, et al.
Published: (2024)

Deep Q-Learning-Based Gain Scheduling for Nonlinear Quadcopter Dynamics
by: Rastgoftar, Hossein, et al.
Published: (2026)

Connecting the Equinoctial Elements and Rodrigues Parameters: A New Set of Elements
by: Peterson, Joseph T. A., et al.
Published: (2025)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

Observer-Based Stabilization for Linear Multi-Agent Dynamical Systems Using Generalized Frequency Variables
by: Tran, G. Q. Bao, et al.
Published: (2026)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

High Performance Distributed Control for Large-Scale Linear Systems: A Cover-Based Distributed Observer Approach
by: Xu, Haotian, et al.
Published: (2024)

Time-Dependent Low-Rank Input-Output Operator for Forced Linearized Dynamics with Unsteady Base Flows
by: Amiri-Margavi, Alireza, et al.
Published: (2023)

Controlled transport of fluid particles by microrotors in a Stokes flow using linear transfer operators
by: Buzhardt, Jake, et al.
Published: (2023)

SINDy-RL: Interpretable and Efficient Model-Based Reinforcement Learning
by: Zolman, Nicholas, et al.
Published: (2024)

Boundary accumulations of active rods in microchannels with elliptical cross-section
by: Brown, Chase, et al.
Published: (2024)

Two Results for the Omega Limit Sets of Dynamical Systems
by: Karafyllis, Iasson
Published: (2024)

Identification of a Kalman filter: consistency of local solutions
by: Simpson, Léo, et al.
Published: (2025)

Controlling a Social Network of Individuals with Coevolving Actions and Opinions
by: Raineri, Roberta, et al.
Published: (2025)

An exact active sensing strategy for a class of bio-inspired systems
by: Biswas, Debojyoti, et al.
Published: (2024)

Co-evolutionary control of a class of coupled mixed-feedback systems
by: Venegas-Pineda, Luis Guillermo, et al.
Published: (2024)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2025)

Beyond Carleman Linearization of Nonlinear Dynamical System: Insights from a Case Study
by: Chen, Panpan, et al.
Published: (2025)

Koopman Operator for Stability Analysis: Theory with a Linear--Radial Product Reproducing Kernel
by: Tang, Wentao, et al.
Published: (2025)

Estimating unknown dynamics and cost as a bilinear system with Koopman-based Inverse Optimal Control
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)

Discrete-Time Model of a Two-Speed PowerShift suitable for Real-Time Control and Simulation
by: Morselli, Riccardo, et al.
Published: (2026)

An algorithm for distributed time delay identification based on a mixed Erlang kernel approximation and the linear chain trick
by: Ritschel, Tobias K. S., et al.
Published: (2024)

Iterative method for real-time Hybrid testing: application to a cantilever beam with two interface degrees of freedom
by: Vizzaccaro, Alessandra, et al.
Published: (2024)

Toward Adaptive Cooperation: Model-Based Shared Control Using LQ-Differential Games
by: Varga, Balint
Published: (2024)

Analysis of a continuous opinion and discrete action dynamics model coupled with an external observation dynamics
by: Couthures, Anthony, et al.
Published: (2024)

On identifying the non-linear dynamics of a hovercraft using an end-to-end deep learning approach
by: Schwan, Roland, et al.
Published: (2024)