Results 31 to 40 of about 7,136 (240)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Applications of Lyapunov Functions to Caputo Fractional Differential Equations

Mathematics, 2018
One approach to study various stability properties of solutions of nonlinear Caputo fractional differential equations is based on using Lyapunov like functions.
Ravi Agarwal, Snezhana Hristova, Donal O’Regan   +2 more
doaj   +1 more source

Stabilization, Lyapunov functions, and dissipation [PDF]

Systems & Control Letters, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rapisarda, Paolo, Kojima, Chiaki
openaire   +2 more sources

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

From Flow to Function: Using Different Static Mixers to Fabricate Microarchitected Materials Via Chaotic Printing

Advanced Science, EarlyView.
Complex microarchitectures emerge from simple flow‐driven transformations as static mixers iteratively reorient and split material domains. Coupled with diverse deposition strategies, chaotic printing provides an accessible platform for fabricating architected materials that support biologically and chemically relevant processes. ABSTRACT Nature builds
Edna Johana Bolívar‐Monsalve, Carlos Fernando Ceballos‐González, Diego Alonso Quevedo‐Moreno, Irving Isaí Rendón‐Moreno, Ariel Cantoral‐Sánchez, Héctor Ambriz‐González, Mario Moisés Alvarez, Grissel Trujillo‐de Santiago   +7 more
wiley   +1 more source

An algorithm for constructing Lyapunov functions

Electronic Journal of Differential Equations, 2007
In this monograph we develop an algorithm for constructing Lyapunov functions for arbitrary switched dynamical systems $dot{mathbf{x}} = mathbf{f}_sigma(t,mathbf{x})$, possessing a uniformly asymptotically stable equilibrium.
Sigurdur Freyr Hafstein
doaj  

Stabilization of nonlinear safety-critical systems by relaxed converse Lyapunov-barrier approach and its applications in robotic systems

Autonomous Intelligent Systems
Combining safety objectives with stability objectives is crucial for safety-critical systems. Existing studies generally unified these two objectives by constructing Lyapunov-type barrier functions. However, insufficient analysis of key set relationships
Haoqi Li, Jiangping Hu, Xiaoming Hu, Bijoy K. Ghosh   +3 more
doaj   +1 more source

Practical stability for fractional impulsive control systems with noninstantaneous impulses on networks

Nonlinear Analysis, 2022
This paper investigates practical stability for a class of fractional-order impulsive control coupled systems with noninstantaneous impulses on networks.
Jin You, Shurong Sun
doaj   +1 more source

Epidemiological Models and Lyapunov Functions [PDF]

Mathematical Modelling of Natural Phenomena, 2007
Summary: We give a survey of results on global stability for deterministic compartmental epidemiological models. Using Lyapunov techniques we revisit a classical result, and give a simple proof. By the same methods we also give a new result on differential susceptibility and infectivity models with mass action and an arbitrary number of compartments ...
A. Fall, A., Iggidr, Abderrahman, Sallet, Gauthier, Tewa, Jean-Jules   +3 more
openaire   +3 more sources

Programmable Chaotic Suspension Electrolysis for Scalable Manufacturing of Vacancy‐Tunable Electrolytic MnO2

Advanced Science, EarlyView.
Programmable chaotic suspension electrolysis bridges laboratory synthesis and industrial manufacturing of high‐performance MnO2 cathodes. This scalable strategy enables tunable oxygen vacancies and a robust γ/β tunnel framework, delivering superior electrochemical performance and thermal stability.
Zhihao Wu, Jie Yang, Yidan Fan, Wentao Li, Jiaxing Li, Jing Guo, Chunbiao Li, Lei Shi, Jiaoyuan Zhang, Xingna Cai, Zukang Chen, Qian Zhang, Jun Du, Changyuan Tao, Qizhi Chen, Guocan Zheng, Zuohua Liu   +16 more
wiley   +1 more source