摘要
引入了赋值域是格时离散事件系统的形式化定义,并提出了由它所生成的语言的可控性概念,以及给出并证明了格值离散事件系统的可控性的充要条件。最后得到了给定语言的极大可控子语言和极小可控超语言的存在性的证明以及它们的表达式。
The introduced assignment limit is the formal definition of the lattice-valued discrete event system.Also,the controllability concept generated by the lattice language is suggested;and the necessary and sufficient conditions for controllability of the lattice-valued discrete event system are proved.Lastly,the existence of supremal controllable lattice sublanguage and infimal controllable lattice superlanguage is proved,and their expressiones are obtained in this paper.
出处
《西安理工大学学报》
CAS
北大核心
2012年第4期439-443,共5页
Journal of Xi'an University of Technology
基金
国家自然科学基金资助项目(51275404)
关键词
离散事件系统
格
可控格值语言
极大可控格值子语言
极小可控格值超语言
discrete event system
lattices
controllable lattice language
supremal controllable lattice sublanguage
infimal controllable lattice superlanguage
