Control of Real-Time Systems With Integer Parameters
IEEE Transactions on Automatic Control(2022)
摘要
We consider the problem of synthesizing controllers for real-time systems where some timing features are not known with precision. We model the plant as a parametric timed automaton (PTA), i.e., a finite automaton equipped with real-valued clocks constraining its behavior, in which the timing constraints on these clocks can make use of parameters. The most general problem we study then consists in...
更多查看译文
关键词
Automata,Clocks,Cost accounting,Games,Real-time systems,Delays,Semantics
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要