Cited by 1,313Advanced Control Systems OptimizationFormal Methods in VerificationStability and Control of Uncertain Systems

The DOI matches its Crossref record; 46 of the 48 references it cites were found in a registry or an index.

A unified framework for hybrid control: model and optimal control theory

Branicky, M.S., Borkar, V.S., Mitter, S.K.·1998·IEEE Transactions on Automatic Control

Abstract

We propose a very general framework that systematizes the notion of a hybrid system, combining differential equations and automata, governed by a hybrid controller that issues continuous-variable commands and makes logical decisions. We first identify the phenomena that arise in real-world hybrid systems. Then, we introduce a mathematical model of hybrid systems as interacting collections of dynamical systems, evolving on continuous-variable state spaces and subject to continuous controls and discrete transitions. The model captures the identified phenomena, subsumes previous models, yet retains enough structure to pose and solve meaningful control problems. We develop a theory for synthesizing hybrid controllers for hybrid plants in all optimal control framework. In particular, we demonstrate the existence of optimal (relaxed) and near-optimal (precise) controls and derive "generalized quasi-variational inequalities" that the associated value function satisfies. We summarize algorithms for solving these inequalities based on a generalized Bellman equation, impulse control, and linear programming.

Overview

Integrity signals

Registry

Crossref · 10.1109/9.654885

Cites

46 of 46 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

This paper’s full text isn’t openly available, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

Flagged first, then by citations

Show all 48 references

2 of the 48 references couldn’t be matched to a known paper.

Research works printed but not linked: 8

  1. mitter, 1993, 6 291 Special topics Optimal control
  2. hocking, 1988, Topology
  3. 10.1109/CDC.1994.411615 · DOI
  4. bainov, 1989, Systems with Impulse Effect
  5. hynes, 1993, Vehicle management for the high speed civil transport
  6. munkres, 1975, Topology
  7. ge, 1994, Algorithms for chattering approximations to relaxed optimal controls
  8. brockett, 1983, smooth multimode control systems, Berkeley-Ames Conf Nonlinear Problems Contr Fluid Dynamics, 103

Cited by

Sorted by citations

Items 201–300 of 1,000

Metadata

Authors
Branicky, M. S., Borkar, V. S., & Mitter, S. K.
Affiliations
  • Case Western Reserve University (US)
  • Indian Institute of Science Bangalore (IN)
  • Massachusetts Institute of Technology (US)
Venue
IEEE Transactions on Automatic Control
Published
1998
Volume
43
Issue
1
Pages
31-45
ISSN
0018-9286 (ISSN-L)
OpenAlex
W2152185829
Cited by
1,313
References
48
Citations by year
2026: 6 · 2025: 14 · 2024: 27 · 2023: 10 · 2022: 19 · 2021: 39 · 2020: 22 · 2019: 36 · 2018: 34 · 2017: 42 · 2016: 50 · 2015: 53 · 2014: 66 · 2013: 49 · 2012: 56
FWCI
73.47
Type
journal article
Language
en
Open access
closed
Locations
  • IEEE Transactions on Automatic Control (publishedVersion)
  • NOT FOUND REPOSITORY (Indian Institute of Science Bangalore) (acceptedVersion)
Topics
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Optimization
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
  • Physical Sciences › Engineering › Control and Systems Engineering › Stability and Control of Uncertain Systems
Keywords
hybrid systems, hybrid control, optimal control, relaxed controls, quasi-variational inequalities, value function, Bellman equation, impulse control, linear programming, automata, discrete transitions, continuous control

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review