首页 /研究 /Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
OTHER

Using Controller-Synthesis Techniques to Build Property-Enforcing Layers

Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten

发表年份
2003
引用次数
47
访问权限
开放获取

关键词

Computer scienceAutomatonComponent (thermodynamics)Property (philosophy)Set (abstract data type)Constraint (computer-aided design)Product (mathematics)Theoretical computer scienceController (irrigation)Layer (electronics)

相关论文

查看 OTHER 分类全部论文