Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications
Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications
批准号:
0244732
负责人:
Ratnesh Kumar
金额:
$23.78万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-08-16 至 2006-07-31
中文摘要
该建议的动机是对具有时间逻辑规范的离散事件系统的控制和诊断进行全面和正式的研究。监督控制理论为事件驱动系统提供了一种形式主义或综合控制器,以强制执行所需的定性规范。这些规范传统上表示为形式语言或等价的状态机。然而,用一种接近自然口语的语言来表达规范更为实际。时间逻辑试图在形式语言和自然语言之间架起一座桥梁。这是我们的目的是开发技术的控制和诊断的离散事件系统,当规范是在时间逻辑表示。我们选择由Clarke-Emerson-Sitsla提出的CTL(计算树逻辑)和LTL(线性时间逻辑)的时间逻辑,其中存在自动化技术来验证系统属性。拟议的研究通过开发合成控制器和诊断器的自动化技术来补充这项工作。在此背景下提出了完全观测控制、部分观测控制、模块化控制、故障建模与诊断、符号法计算等问题。我们的初步工作表明,使用时间逻辑,没有计算复杂性的损失,但肯定有可表达性和用户友好性的增益。
英文摘要
The proposal is motivated from a comprehensive and formal study of control and diagnosis of discrete event systems with temporal logic specifications. The supervisory control theory provides a formalism or synthesizing controllers for event-driven systems in order to enforce desired qualitative specifications. Such specifications are traditionally expressed as formal languages or equivalently as state machines. It is more practical, however, to express specifications in a language close to a natural spoken language. Temporal logic is an attempt to bridge the gap between formal and natural languages. It is our intent to develop techniques for control and diagnosis of discrete event systems when the specifications are expressed in temporal logic. We choose the temporal logics of CTL (computational tree logic) and LTL (linear time logic) proposed by Clarke-Emerson-Sitsla for which automated techniques exist for verifying system properties. The proposed research complements that work by developing automated techniques for synthesizing controllers and diagnosers. Several problems in this context have been proposed including, control under complete observation, control under partial observation, modular control,failure modeling and diagnosis, and computation using the symbolic method. Our initial work shows that with the usage of temporal logic, there is no loss of computational complexity, yet there is surely a gain of expressibility and user-friendliness.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
PFI-TT: A Fiber-Optic Sensing System for Multiplexed Gas Detection
-
批准号:2141084
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2022
-
负责人:Ratnesh Kumar
-
依托单位:
Elements: Agricultural Cyber-infrastructure support for Field and Grid Modeling, and Runtime Decision-Making
-
批准号:2004766
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2020
-
负责人:Ratnesh Kumar
-
依托单位:
PFI:AIR - TT: In-Situ Wireless Soil Sensor for Moisture, Salinity and Ions
-
批准号:1602089
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2016
-
负责人:Ratnesh Kumar
-
依托单位:
Model-based Approach for System-Level Testing and Validation
-
批准号:1509420
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2015
-
负责人:Ratnesh Kumar
-
依托单位:
CyberSEES: Type2: In-Situ, Wireless, Energy-Harvesting Soil Moisture/Nutrient Sensors for Managing Agricultural Resources & Environmental Impact
-
批准号:1331390
-
项目类别:Standard Grant
-
资助金额:$100.0万
-
财政年份:2013
-
负责人:Ratnesh Kumar
-
依托单位:
Soil Sensors and their Wireless Underground Network for Precision Farming and Environmental Management
-
批准号:0926029
-
项目类别:Continuing Grant
-
资助金额:$46.09万
-
财政年份:2009
-
负责人:Ratnesh Kumar
-
依托单位:
Model-based Test Generation for Embedded Software with Simulink/Stateflow or Hybrid Automata Models
-
批准号:0811541
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Ratnesh Kumar
-
依托单位:
GOALI: Monitoring and Reconfiguration for Fault-Tolerance of Embedded Control Software with Automotive Applications
-
批准号:0801763
-
项目类别:Standard Grant
-
资助金额:$36.0万
-
财政年份:2008
-
负责人:Ratnesh Kumar
-
依托单位:
Cyber Systems: Development of Soil Sensors and their Underground Wireless Network for Fertilization Management to Minimize Environmental Impact
-
批准号:0601570
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Ratnesh Kumar
-
依托单位:
Nondeterministic Control of Discrete-Event Systems for Language or (Bi) Simulation Equivalence Specifications
-
批准号:0424048
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Ratnesh Kumar
-
依托单位:
Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications
-
批准号:0099851
-
项目类别:Standard Grant
-
资助金额:$23.78万
-
财政年份:2001
-
负责人:Ratnesh Kumar
-
依托单位:
Modeling, Interface Design, and Verification of Hybrid and Discrete Event Systems
-
批准号:9709796
-
项目类别:Standard Grant
-
资助金额:$16.82万
-
财政年份:1997
-
负责人:Ratnesh Kumar
-
依托单位:
RIA: Real-Time Discrete Event Control and Its Application toAutomated Manufacturing Systems
-
批准号:9409712
-
项目类别:Standard Grant
-
资助金额:$7.0万
-
财政年份:1994
-
负责人:Ratnesh Kumar
-
依托单位:
海外基金