Saved in:
| Main Author: | Swikir, Abdalla |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.16180 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning
by: Binny, Allen Emmanuel, et al.
Published: (2025)
by: Binny, Allen Emmanuel, et al.
Published: (2025)
Compositional Construction of Barrier Functions for Switched Impulsive Systems
by: Bieker, Katharina, et al.
Published: (2024)
by: Bieker, Katharina, et al.
Published: (2024)
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024)
by: Ajeleye, Daniel, et al.
Published: (2024)
Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)
by: Ahmed, Saeed, et al.
Published: (2024)
An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
by: Delimpaltadakis, Giannis, et al.
Published: (2025)
by: Delimpaltadakis, Giannis, et al.
Published: (2025)
Learning Barrier-Certified Polynomial Dynamical Systems for Obstacle Avoidance with Robots
by: Schonger, Martin, et al.
Published: (2024)
by: Schonger, Martin, et al.
Published: (2024)
Scalable Learning of High-Dimensional Demonstrations with Composition of Linear Parameter Varying Dynamical Systems
by: Agrawal, Shreenabh, et al.
Published: (2025)
by: Agrawal, Shreenabh, et al.
Published: (2025)
Optimal Control for Clutched-Elastic Robots: A Contact-Implicit Approach
by: Ossadnik, Dennis, et al.
Published: (2024)
by: Ossadnik, Dennis, et al.
Published: (2024)
A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)
by: Laurenti, Luca, et al.
Published: (2023)
Cycles in Impulsive Goodwin's Oscillators of Arbitrary Order
by: Proskurnikov, Anton V., et al.
Published: (2023)
by: Proskurnikov, Anton V., et al.
Published: (2023)
OPENGRASP-LITE Version 1.0: A Tactile Artificial Hand with a Compliant Linkage Mechanism
by: Groß, Sonja, et al.
Published: (2024)
by: Groß, Sonja, et al.
Published: (2024)
Output Corridor Impulsive Control of First-order Continuous System with Non-local Attractivity Analysis
by: Medvedev, Alexander, et al.
Published: (2026)
by: Medvedev, Alexander, et al.
Published: (2026)
Construction of time-varying ISS-Lyapunov Functions for Impulsive Systems
by: Bachmann, Patrick, et al.
Published: (2022)
by: Bachmann, Patrick, et al.
Published: (2022)
Mixed Regular and Impulsive Sampled-data LQR
by: Daafouz, Jamal, et al.
Published: (2024)
by: Daafouz, Jamal, et al.
Published: (2024)
Efficient Input-Constrained Impulsive Optimal Control of Linear Systems with Application to Spacecraft Relative Motion
by: Foss, Ethan, et al.
Published: (2025)
by: Foss, Ethan, et al.
Published: (2025)
Stability Properties of the Impulsive Goodwin's Oscillator in 1-cycle
by: Proskurnikov, Anton V., et al.
Published: (2024)
by: Proskurnikov, Anton V., et al.
Published: (2024)
Design of the Impulsive Goodwin's Oscillator: A Case Study
by: Medvedev, Alexander, et al.
Published: (2023)
by: Medvedev, Alexander, et al.
Published: (2023)
Learning Dissipative Neural Dynamical Systems
by: Xu, Yuezhu, et al.
Published: (2023)
by: Xu, Yuezhu, et al.
Published: (2023)
A Dissipativity Approach to Analyzing Composite Spreading Networks
by: She, Baike, et al.
Published: (2024)
by: She, Baike, et al.
Published: (2024)
A Transition System Abstraction Framework for Neural Network Dynamical System Models
by: Yang, Yejiang, et al.
Published: (2024)
by: Yang, Yejiang, et al.
Published: (2024)
Dissipativity Analysis of Nonlinear Systems: A Linear--Radial Kernel-based Approach
by: Ye, Xiuzhen, et al.
Published: (2026)
by: Ye, Xiuzhen, et al.
Published: (2026)
On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)
by: Bin, Michelangelo, et al.
Published: (2025)
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)
by: Nazeri, Mahdi, et al.
Published: (2025)
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)
by: Gracia, Ibon, et al.
Published: (2025)
Matrix-Scheduling of QSR-Dissipative Systems
by: Moalemi, Sepehr, et al.
Published: (2024)
by: Moalemi, Sepehr, et al.
Published: (2024)
Local Dissipativity Analysis of Nonlinear Systems
by: Strong, Amy K., et al.
Published: (2025)
by: Strong, Amy K., et al.
Published: (2025)
Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time
by: Martinelli, Andrea, et al.
Published: (2023)
by: Martinelli, Andrea, et al.
Published: (2023)
Event-Based Impulsive Control for Spacecraft Rendezvous Hovering Phases
by: Sanchez, Julio C., et al.
Published: (2025)
by: Sanchez, Julio C., et al.
Published: (2025)
Communication-Aware Dissipative Control for Networks of Heterogeneous Nonlinear Agents
by: Jang, Ingyu, et al.
Published: (2025)
by: Jang, Ingyu, et al.
Published: (2025)
Learning-Based Robust Control: Unifying Exploration and Distributional Robustness for Reliable Robotics via Free Energy
by: Jesawada, Hozefa, et al.
Published: (2026)
by: Jesawada, Hozefa, et al.
Published: (2026)
Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
by: Akinwande, I. Samuel, et al.
Published: (2025)
by: Akinwande, I. Samuel, et al.
Published: (2025)
An Input-Output Data-Driven Dissipativity Approach for Compositional Stability Certification of Interconnected LTI MIMO Systems
by: Sandoval-Carranza, Alejandra, et al.
Published: (2025)
by: Sandoval-Carranza, Alejandra, et al.
Published: (2025)
On the Optimality of Uncertain MDP Abstractions
by: Gracia, Ibon, et al.
Published: (2026)
by: Gracia, Ibon, et al.
Published: (2026)
Enhancing Secrecy Energy Efficiency in RIS-Aided Aerial Mobile Edge Computing Networks: A Deep Reinforcement Learning Approach
by: Abdalla, Aly Sabri, et al.
Published: (2025)
by: Abdalla, Aly Sabri, et al.
Published: (2025)
Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)
by: Seiler, Peter, et al.
Published: (2017)
Dissipativity-Based Distributed Stability Analysis for Networks with Heterogeneous Nonlinear Agents
by: Jang, Ingyu, et al.
Published: (2025)
by: Jang, Ingyu, et al.
Published: (2025)
Dissipativity and L2 Stability of Large-Scale Networks with Changing Interconnections
by: Jang, Ingyu, et al.
Published: (2025)
by: Jang, Ingyu, et al.
Published: (2025)
Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
by: Yang, Yejiang, et al.
Published: (2024)
by: Yang, Yejiang, et al.
Published: (2024)
Safe Human-UAS Collaboration Abstraction
by: Rastgoftar, Hossein
Published: (2024)
by: Rastgoftar, Hossein
Published: (2024)
AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
by: Pruekprasert, Sasinee, et al.
Published: (2025)
by: Pruekprasert, Sasinee, et al.
Published: (2025)
Similar Items
-
Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning
by: Binny, Allen Emmanuel, et al.
Published: (2025) -
Compositional Construction of Barrier Functions for Switched Impulsive Systems
by: Bieker, Katharina, et al.
Published: (2024) -
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024) -
Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024) -
An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
by: Delimpaltadakis, Giannis, et al.
Published: (2025)