Concepedia

Controller Synthesis

Controller Synthesis is the formal process of algorithmically constructing a corrective feedback policy for a hybrid system that ensures adherence to safety, stability, or temporal logic specifications, distinguished from general verification by its focus on automated controller construction rather than property validation.

2.6K

Publications

117.4K

Citations

5.1K

Authors

1.4K

Institutions

Publications per year

2017–2026

625

Parents

Publications

2.6K

A Survey of Recent Results in Networked Control Systems

J.P. Hespanha, Payam Naghshtabrizi, Yonggang Xu · Proceedings of the IEEE · 2007 · 3.8K citations

, , +14

Control system synthesis: A factorization approach

Automatica · 1986 · 2.2K citations

, , +13

An analysis and design method for linear systems subject to actuator saturation and disturbance

Tingshu Hu, Zongli Lin, Ben M. Chen · Automatica · 2002 · 792 citations

, , +17

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas · IEEE Transactions on Robotics · 2009 · 756 citations

, , +14

Controllers for reachability specifications for hybrid systems

John Lygeros, Claire J. Tomlin, Shankar Sastry · Automatica · 1999 · 610 citations

, , +14

1–5 of 2.6K

Authors

5.1K

  1. RM
    Richard M. Murray

    California Institute of Technology, United States

    29 publications · 2.7K citations

    22

    h-index

  2. PT
    Paulo Tabuada

    University of California, Los Angeles, United States

    24 publications · 2.6K citations

    19

    h-index

  3. MZ
    Majid Zamani

    University of Colorado Boulder, United States

    20 publications · 1.3K citations

    17

    h-index

  4. AG
    Antoine Girard

    Université Grenoble Alpes, France

    27 publications · 1.3K citations

    17

    h-index

  5. CB
    Călin Belta

    Boston University, United States

    23 publications · 1.2K citations

    17

    h-index

1–5 of 5.1K

Institutions

1.4K

  1. California Institute of Technology

    Pasadena, United States

    33 h-index

    151 publications

    9.8K citations

  2. University of California, Berkeley

    Berkeley, United States

    30 h-index

    145 publications

    10.6K citations

  3. Eindhoven University of Technology

    Eindhoven, The Netherlands

    27 h-index

    135 publications

    7K citations

  4. University of Michigan

    Ann Arbor, United States

    27 h-index

    86 publications

    5.7K citations

  5. Harbin Institute of Technology

    Harbin, China

    25 h-index

    81 publications

    4.5K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    24 h-index

    136 publications

    5K citations

  7. Delft University of Technology

    Delft, The Netherlands

    24 h-index

    82 publications

    3.2K citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    24 h-index

    66 publications

    4.3K citations

1–8 of 1.4K

Venues

  1. IEEE Transactions on Automatic Control

    175 publications · 14.9K citations

    64

    h-index

  2. IEEE Transactions on Control Systems Technology

    60 publications · 4.1K citations

    35

    h-index

  3. IEEE Transactions on Industrial Electronics

    34 publications · 2.8K citations

    30

    h-index

  4. IEEE Transactions on Fuzzy Systems

    TFS · 33 publications · 3K citations

    29

    h-index

  5. Automatica

    46 publications · 7.5K citations

    29

    h-index

1–5