1 option
Formal methods for control of nonlinear systems / Yinan Li, Jun Liu.
- Format:
- Book
- Author/Creator:
- Li, Yinan (Engineer), author.
- Liu, Jun (Professor of applied mathematics), author.
- Language:
- English
- Subjects (All):
- Nonlinear control theory.
- Nonlinear systems.
- Engineering mathematics.
- Physical Description:
- 1 online resource (xviii, 253 pages) : illustrations
- Place of Publication:
- Boca Raton, FL : CRC Press 2023.
- Contents:
- Continuous-Time Dynamical Systems
- Discrete-Time Dynamical Systems
- Formal Specifications and Discrete Synthesis
- Interval Computation
- Controller Synthesis via Finite Abstractions
- Specification-Guided Controller Synthesis via Direct Interval Computation
- Applications and Case Studies.
- Notes:
- Includes bibliographical references and index.
- Electronic reproduction. London Available via World Wide Web.
- Description based on online resource; title from digital title page (viewed on February 07, 2023).
- Other Format:
- Print version: Li, Yinan Formal methods for control of nonlinear systems
- ISBN:
- 9780429270253
- 0429270259
- 9781000831931
- 1000831930
- Publisher Number:
- 99993498274
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.