帮你找了些资料哦，很全面的工厂自动化控制(Factory control automation) 设计自动化控制(Design control automation) 检测自动化控制(Detection control automation)办公室自动化控制(Office control automation) 服务自动化控制(Service control automation) _oSVGr8TBsC&dq=automatic+control&printsec=frontcover&source=web&ots=drTsADZunq&sig=IPEFJG5h6amblZ5NfjC7YmpYK9E+automation&printsec=frontcover&source=web&ots=T5tzO9O0mI&sig=-w8PsA7hhC6xg5grlYt2rUWo5yI+control&printsec=frontcover&source=web&ots=ZcplGg2nTI&sig=OiAAVoCkmSE6OJuBz5sWdeDPcDc+automation&printsec=frontcover&source=web&ots=spbskuEk2e&sig=ggF6I6CfpVlJN2__I9rz4EbRvTY+control&printsec=frontcover&source=web&ots=GT-p4nOAxx&sig=xOSDaJvIhVFBumDN2iADHDXPLH4+automation&printsec=frontcover&source=web&ots=Rlg30DrP2I&sig=d0qcjICJgsoFB3ILJQoM6iMOn68+automation&printsec=frontcover&source=web&ots=aSBggyUWd6&sig=AvH8GsCXYGfgSTx034l73G3nUfI_0uC6cz06-cC&dq=automatic+control&printsec=frontcover&source=web&ots=BNgjZrL7kJ&sig=0oaR_bJdoHoZjjibkz_pqccoVG8英文版本_controlAutomatic controlAutomatic control is the research area and theoretical base for mechanization and automation， employing methods from mathematics and See also control A central concept is that of the system which is to be controlled， such as a rudder， propeller or an entire ballistic The systems studied within automatic control are mostly the linear Automatic control systems are composed of three components:Sensor(s)， which measure some physical state such as temperature or liquid Responder(s)， which may be simple electrical or mechanical systems or complex special purpose digital controllers or general purpose Actuator(s)， which effect a response to the sensor(s) under the command of the responder， for example， by controlling a gas flow to a burner in a heating system or electricity to a motor in a refrigerator or A regulator such as a thermostat is a typical example of a device studied in automatic 华文版本%E8%87%AA%E5%8A%A8%E6%8E%A7%E5%88%B6希望能帮助你
This paper shows that automatically synthesized simulators are a competitive alternative to handcrafted simulators for binary code model While the generation of hardware simulators from hardware descriptions has been long used in different fields， our work is new in that it highlights and approaches the need for automatic integration of abstraction techniques in order to tackle the state-explosion As shown in the case study， only the smallest programs can be verified 本文显示采用自动合成模拟系统替代手工模拟器对二进制编码模型进行检验是极具竞争性的一种方式。源自硬件描述的硬件模拟器尽管已在不同的领域中经久使用，但我们的研究工作具有新意因为它强调并探讨提取技术自动集成的需要，以便应对状态爆炸的难题。犹如个案研究所示，只有最小的程序可被证实不那样。Clearly， the work calls for further investigation of abstraction techniques that can be integrated automatically， and also， the synthesis of hardware-specific static analyzers from SGDL Moreover， even though we believe that SGDL and the underlying synthesis system are general enough to handle different kinds of microcontroller platforms， we further want to investigate its applicability by synthesizing simulators for16-bit microcontrollers such as the Renesas R8C/显然，研究工作主张对可自动合成的提取技术，以及从SGDL代码进行硬件特定静态分析器的合成作进一步的研究。此外，虽然我们相信SGDL及其基础合成系统可通用于处理各种不同的微控制器平台，但我们通过合成例如Renesas R8C/23的16位微控制器模拟系统，来进一步研究它的适用范围。 注：SGDL – Sudoku Game Design Language 数独游戏设计语言【英语牛人团】
