<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

The theory of hybrid automata

Name: The theory of hybrid automata
Creator: Thomas A. Henzinger
Keywords: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book 01 Jan 2000Publisher:IEEE Comput. Soc. PressJournal:Proceedings 11th Annual IEEE Symposium on Logic in Computer Science

Authors: Thomas A. Henzinger;

doi: 10.1109/lics.1996.561342 , 10.1007/978-3-642-59615-5_13

The theory of hybrid automata

- Summary
- Metrics

Abstract

We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces.

Related Organizations

University of California, Berkeley
United States

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2K
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 0.1%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 0.01%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 0.1%

Found an issue? Give us feedback

Top 0.1%

Top 0.01%

Top 0.1%

Fields of Science (4) View all

natural sciences

computer and information sciences

Fields of Science

natural sciences

computer and information sciences

View all

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!