Formal Methods for Control of Nonlinear Systems

DOI10.1201/9780429270253OpenAlexW4308194750MaRDI QIDQ5877492FDOQ5877492

Authors: Yinan Li, Jun Liu 

Publication date: 13 February 2023

Full work available at URL: https://doi.org/10.1201/9780429270253

Recommendations

• Analysis and design of nonlinear control systems.
• Formal verification of control systems software
• Operator-based nonlinear control systems. Design and applications
• Nonlinear systems and controls
• Formal methods for discrete-time dynamical systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)

Cited In (8)

• Title not available (Why is that?)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
• Formal methods for discrete-time dynamical systems
• Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
• Formal verification of control systems software
• Continuity of formal power series products in nonlinear control theory
• A bounded model checking technique for discrete-time nonlinear systems
• ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems

This page was built for publication: Formal Methods for Control of Nonlinear Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5877492)