Work

Reachability analysis using dissipation inequalities for uncertain nonlinear systems

Year: 2020

Type: article

Source: Systems & Control Letters

DOI: 10.1016/j.sysconle.2020.104736

Authors: He Yin, Andrew Packard, Murat Arcak, Peter Seiler

Institutions: University of California, Berkeley, University of Michigan

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, FANUC Corporation, Office of Naval Research, Division of Electrical, Communications and Cyber Systems, Air Force Office of Scientific Research

Awards: G1192766839, G144984909, G1523888516, G1717380892, Scalable Symbolic Control: Computationally Efficient Design of Feedback Control Algorithms to Satisfy Complex Requirements, G3045592441, G6098521345, G6320102633, G8876996369

OpenAlex ID: W3037216378

FWCI: 1.201

Cites: 49

Cited by: 18

Related to: 10