The theory of hybrid automata
New Brunswick, NJ(1996)
摘要
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.
更多查看译文
关键词
uncountable state space,discrete concurrent system,continuous system,recent result,hybrid automaton,certain system,finite-state system,automatic control,digital control,finite automata,temperature control,labeling,state space,automata,formal verification,automata theory,thermostats,switches
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要