Formal Methods for Control of Nonlinear Systems

DOI10.1201/9780429270253MaRDI QIDQ5877492zbMATH OpenOpenAlexFDO

Authors Yinan Li, Jun Liu

Publication date 13 February 2023

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

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Formal specification and synthesis of procedural controllers for process systems
• Formal methods for discrete-time dynamical systems
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
• scientific article; zbMATH DE number 4172826 (Why is no real title available?)
• Formal verification of control systems software
• ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
• Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
• Continuity of formal power series products in nonlinear control theory
• A bounded model checking technique for discrete-time nonlinear 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)