Dealing with Nondeterminism in Symbolic Control

@inproceedings{Kloetzer2008DealingWN,
  title={Dealing with Nondeterminism in Symbolic Control},
  author={Marius Kloetzer and Calin Belta},
  booktitle={HSCC},
  year={2008}
}
Abstractions (also called symbolic models) are simple descriptions of continuous and hybrid systems that can be used in analysis and control. They are usually constructed in the form of transition systems with finitely many states. Such abstractions offer a very attractive approach to deal with complexity, while at the same time allowing for rich specification languages. Recent results show that, through the abstraction process, the resulting transition systems can be nondeterministic (i.e., if… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 46 extracted citations

70 Citations

01020'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…