Cover Image

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Serry, Mohamed, Sivaranjani, S., Liu, Jun
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Neural and Evolutionary Computing Dynamical Systems Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
by: Farkane, Ayoub, et al.
Published: (2025)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

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

Learning Dissipative Neural Dynamical Systems
by: Xu, Yuezhu, et al.
Published: (2023)

Exact and Evolutionary Algorithms for Sequential Multi-Objective Transmission Topology Planning
by: Groeneveld, Job, et al.
Published: (2026)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

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

CMA-ES for Discrete and Mixed-Variable Optimization on Sets of Points
by: Uchida, Kento, et al.
Published: (2024)

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

Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
by: Xu, Yuezhu, et al.
Published: (2025)

Reducing base drag on road vehicles using pulsed jets optimized by hybrid genetic algorithms
by: Robledo, Isaac, et al.
Published: (2025)

Wave Function Collapse Set Covering and the Hill Climbing Algorithm: A New, Fast Heuristic and Metaheuristic Pairing for the Minimum Set Cover Problem
by: Oprea, David, et al.
Published: (2025)

Design and Implementation of Hardware Accelerators for Neural Processing Applications
by: Mayannavar, Shilpa, et al.
Published: (2024)

An Efficient General-Purpose Optical Accelerator for Neural Networks
by: Fei, Sijie, et al.
Published: (2024)

A Pipelined Memristive Neural Network Analog-to-Digital Converter
by: Danial, Loai, et al.
Published: (2024)

Neural Surrogate-assisted Glider Wing Design with Stability Analysis and Multi-method Optimization
by: Lipaei, Arash Fath, et al.
Published: (2025)

Discrete Natural Evolution Strategies
by: Amin, Ahmad Ayaz
Published: (2024)

Case Studies of Generative Machine Learning Models for Dynamical Systems
by: Bapat, Nachiket U., et al.
Published: (2025)

Spiking Neural Networks as a Controller for Emergent Swarm Agents
by: Zhu, Kevin, et al.
Published: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

A Digital Pheromone-Based Approach for In-Control/Out-of-Control Classification
by: Pestana, Pedro, et al.
Published: (2025)

Controlling Chaotic Maps using Next-Generation Reservoir Computing
by: Kent, Robert M., et al.
Published: (2023)

Advanced Intelligent Optimization Algorithms for Multi-Objective Optimal Power Flow in Future Power Systems: A Review
by: Li, Yuyan
Published: (2024)

Adaptive Multi-Objective Bayesian Optimization for Capacity Planning of Hybrid Heat Sources in Electric-Heat Coupling Systems of Cold Regions
by: Yang, Ruizhe, et al.
Published: (2025)

On the Popov-Belevitch-Hautus tests for functional observability and output controllability
by: Montanari, Arthur N., et al.
Published: (2024)

Duality between controllability and observability for target control and estimation in networks
by: Montanari, Arthur N., et al.
Published: (2024)

A History-Guided Regional Partitioning Evolutionary Optimization for Solving the Flexible Job Shop Problem with Limited Multi-load Automated Guided Vehicles
by: Liu, Feige, et al.
Published: (2024)

Adaptive Knowledge-based Multi-Objective Evolutionary Algorithm for Hybrid Flow Shop Scheduling Problems with Multiple Parallel Batch Processing Stages
by: Liu, Feige, et al.
Published: (2024)

Pole Placement and Feedback Stabilization for Discrete Linear Ensemble Systems
by: Chen, Xudong
Published: (2024)

Stability of Jordan Recurrent Neural Network Estimator
by: Kaur, Avneet, et al.
Published: (2025)

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

Blindfolded Spider-man Optimization: A Single-Point Metaheuristics Suitable for Continuous and Discrete Spaces
by: Mittal, Satyam
Published: (2025)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Input-to-state stability meets small-gain theory
by: Mironchenko, Andrii
Published: (2024)

Lyapunov Stability of Stochastic Vector Optimization: Theory and Numerical Implementation
by: Santos, Thiago, et al.
Published: (2026)

Compact Pixelated Microstrip Forward Broadside Coupler Using Binary Particle Swarm Optimization
by: Parsaei, Kourosh, et al.
Published: (2024)

Noise-Aware Bayesian Optimization Approach for Capacity Planning of the Distributed Energy Resources in an Active Distribution Network
by: Yang, Ruizhe, et al.
Published: (2024)

Machine Learning Driven Global Optimisation Framework for Analog Circuit Design
by: Rashid, Ria, et al.
Published: (2024)

Causal-Guided Dimension Reduction for Efficient Pareto Optimization
by: Jayasuriya, Dinithi, et al.
Published: (2025)