...
机译:实时DEVS在安全关键型嵌入式控制系统分析中的应用:铁路道口控制示例
Seowon Univ, Dept Comp Informat & Commun, Cheongju, South Korea;
real-time DEVS; safety analysis; controllability; real-time embedded discrete event control systems; NONDETERMINISTIC SYSTEMS; SUPERVISORY CONTROL; MODELS; SPECIFICATION; FRAMEWORK; SOFTWARE;
机译:使用二阶代数方法指定和验证实时系统:以铁路道口控制器为例
机译:嵌入式,实时,对安全至关重要的控制对Ada语言而言并不是什么新鲜事物
机译:具有嵌入式能量存储备份的安全关键型机电一体化应用的执行器控制单元
机译:HyRev:一种自动生成实时例程的工具,用于使用向后可达性分析在一类安全关键的嵌入式系统中启用故障安全控制
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:嵌入式实时应用的自适应主动抑制控制
机译:数字控制系统的实施技术,控制和动态系统的第70卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,390 PP,ISBN 0-12-0127702,99.00美元离散时间控制系统分析和设计,控制和动态系统的第71卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,410 PP,ISBN 0-12-0127715,99.00美元离散时间控制系统实现技术,控制和动态系统的第72卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,388 pp,ISBN 0-12-0127725,99.00美元的离散 - 时间随机控制系统,控制和动态系统的VOLUME 73:前进,理论与应用,C Leondes(ED),学术出版社,圣地亚哥,1995年,380页,ISBN 0-12-0127734,在离散和$ 99.00技术。连续稳健的系统,控制和动态系统的第74卷:理论和应用的进步,C. leondes(ed),学术出版社,圣地亚哥,1995,412 pp。,ISBN 0-12-0127741,99.00美元
机译:使用二阶代数方法指定和验证实时系统 - 铁路交叉控制器的案例研究