Work

Approximate abstractions of control systems with an application to aggregation

Year: 2020

Type: article

Source: Automatica

DOI: 10.1016/j.automatica.2020.109065

Authors: Stanley W. Smith, Murat Arcak, Majid Zamani

Institutions: University of California, Berkeley, University of Colorado Boulder, Ludwig-Maximilians-Universität München

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, Deutsche Forschungsgemeinschaft, Horizon 2020 Framework Programme, National Defense Science and Engineering Graduate, European Research Council, Air Force Office of Scientific Research

Awards: G144984909, G1523888516, CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach, CPS: TTP Option: Synergy: Traffic Operating System for Smart Cities, G8333570093

OpenAlex ID: W2892273617

FWCI: 0.12

Cites: 21

Cited by: 3

Related to: 10