All Research Papers Published In Nonlinear Analysis: Hybrid Systems

Research Article
15
10.1016/j.nahs.2022.101297

formula omitted] reliable control for switched positive systems with actuator faults and state-dependent switchings

Oct 17, 2022
Nonlinear Analysis: Hybrid Systems
Peng Wang + 1 more +1

Research Article
28
10.1016/j.nahs.2022.101279

Stability of neutral stochastic delayed systems with switching and distributed-delay dependent impulses

Sep 17, 2022
Nonlinear Analysis: Hybrid Systems
Jing Li + 1 more +1

Research Article
2
10.1016/j.nahs.2022.101265

Asymptotical feedback controllability of continuous-time probabilistic logic control networks

Sep 05, 2022
Nonlinear Analysis: Hybrid Systems
Zhitao Li + 2 more +2

Research Article
5
10.1016/j.nahs.2022.101254

Adaptive testing for specification coverage and refinement in CPS models

Aug 09, 2022
Nonlinear Analysis: Hybrid Systems
Ezio Bartocci + 4 more +4

Design of correct cyber–physical systems (CPS) is of uttermost importance for safety-critical applications. This crucial yet extremely challenging property is often addressed in practice by simulation-based methods. The simulation activity can be made more systematic and rigorous by using formal specifications to express requirements and guide the testing of the system.In this paper, we develop a procedure for generating tests from formal specifications given in Signal Temporal Logic (STL), a declarative language used to express CPS requirements. The proposed test generation method is adaptive with the aim at achieving specification coverage. We devise to this goal cooperative reachability games, which we enhance with numerical optimization to facilitate exercising various parts of specifications. The resulting approach is effective in finding specification violations, but also in increasing confidence (via coverage) that the specification is satisfied. In the latter case, we also propose a method for automatically refining the specification into its part that is actually implemented, thus gaining additional insight into the system-under-test.

Research Article
18
10.1016/j.nahs.2022.101248

Impulsive systems with hybrid delayed impulses: Input-to-state stability

Jul 15, 2022
Nonlinear Analysis: Hybrid Systems
Wenlu Liu + 2 more +2

Research Article
4
10.1016/j.nahs.2022.101241

Protocol-based control for nonlinear systems with environment-dependent energy harvesting sensors: An average dwell-time method

Jun 17, 2022
Nonlinear Analysis: Hybrid Systems
Jiajia Li + 2 more +2

Research Article
1
10.1016/j.nahs.2022.101210

Robust output-feedback SOSM control subject to unmatched disturbances and its application: A fixed-time observer-based method

May 10, 2022
Nonlinear Analysis: Hybrid Systems
Shang Shi + 3 more +3

Research Article
14
10.1016/j.nahs.2022.101198

Stabilisation of hybrid system with different structures by feedback control based on discrete-time state observations

Mar 29, 2022
Nonlinear Analysis: Hybrid Systems
Banban Shi + 2 more +2

Research Article
6
10.1016/j.nahs.2022.101188

Limit cycles of a class of Liénard systems derived from state-dependent impulses

Mar 18, 2022
Nonlinear Analysis: Hybrid Systems
Jitsuro Sugie + 1 more +1

Front Matter
10.1016/s1751-570x(22)00019-x

Editorial Board

Mar 07, 2022
Nonlinear Analysis: Hybrid Systems