A control theory for complex specifications

复杂规格的控制理论

• 批准号: 250292-2011
• 负责人: Broucke, Mireille
• 金额: $ 2.91万
• 依托单位: University of Toronto
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=570875
• 关键词: control; theory; complex; specifications

Control theory is a discipline bridging mathematics and engineering and its function is to supply the theories, frameworks, principles, and algorithms for analysis and control synthesis problems arising in a spectrum of application disciplines. Its clients include energy systems, biomedical engineering, mechatronics, robotics, aerospace systems, nanotechnology, transportation systems, process control, manufacturing, biology, ecology, economics, and other areas. Control theory has focused over the last 200 years on problems of regulation and tracking. Common examples of regulation are maintaining a constant temperature in a building or maintaining a desired speed in a vehicle cruise control. Optimizing a solar cell performance by rotating its surface to continually face the sun during daylight hours is an example of tracking. Tracking and regulation are simple control system specifications. As control systems become more integrated within high-end engineering systems as well as consumer products, they are expected to achieve richer specifications that intertwine regulation and tracking with safety requirements, startup procedures, logic rules, and so forth. Good examples of complex specifications are the startup of a chemical or nuclear reactor, requirements for an automated parking system, or transition between different gaits in a bipedal robot. Because of the historical emphasis on regulation and tracking, even the simplest control problems with non-traditional specifications have no known solution method. Our research program concerns the development of a control theory for complex specifications. This is a multistep endeavor involving both the discovery of fundamental mathematical structures within a control system that determine if it can achieve a complex specification, as well as the development of concrete design methods that can be used by practitioners in diverse application fields.

控制理论是一门连接数学和工程学的学科，其功能是为一系列应用学科中出现的分析和控制综合问题提供理论、框架、原理和算法。其客户包括能源系统、生物医学工程、机电一体化、机器人、航空航天系统、纳米技术、运输系统、过程控制、制造、生物学、生态学、经济学等领域。 过去 200 年来，控制理论一直关注调节和跟踪问题。常见的调节示例是维持建筑物内的恒定温度或维持车辆巡航控制中的所需速度。通过旋转太阳能电池表面使其在白天持续面向太阳来优化太阳能电池的性能就是跟踪的一个例子。跟踪和调节是简单的控制系统规范。 随着控制系统在高端工程系统和消费产品中的集成度越来越高，它们有望实现更丰富的规范，将监管和跟踪与安全要求、启动程序、逻辑规则等交织在一起。复杂规范的好例子是化学或核反应堆的启动、自动停车系统的要求或双足机器人不同步态之间的转换。由于历史上对调节和跟踪的重视，即使是非传统规格的最简单的控制问题也没有已知的解决方法。 我们的研究计划涉及复杂规格控制理论的开发。这是一项多步骤的工作，既涉及发现控制系统内的基本数学结构（确定其是否可以实现复杂的规范），又涉及开发可供不同应用领域的从业者使用的具体设计方法。