Formal Methods for Control of Nonlinear Systems

DOI10.1201/9780429270253OpenAlexW4308194750MaRDI QIDQ5877492FDOQ5877492

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 (4)

• Title not available (Why is that?)
• Formal methods for discrete-time dynamical systems
• Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
• Continuity of formal power series products in nonlinear control theory

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)