• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Hybrid system design and embedded controller synthesis for multi-modal control.
【24h】

Hybrid system design and embedded controller synthesis for multi-modal control.

机译：用于多模式控制的混合系统设计和嵌入式控制器综合。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Based on operational, financial and environmental considerations, large scale systems such as automated highway systems, air traffic management systems, and unmanned aerial vehicle networks have been advocated to have higher levels of automation. By nature the systems are distributed and highly dynamic, the environments around the systems are rapidly changing, and multi-objective design specifications intensify the complexity of system design. To manage the design complexity, multimodal control paradigm, in which control systems are designed by hierarchically nesting of composition of modes of operation such that each mode of operation is designed to cope with a designated scenario with respect to a design specification while the organization of modes of operation depends on the ordering of these specifications, is proposed.; A multi-modal control system can be modeled as a hierarchical nesting of parallel and serial composition of discrete and continuous components. A model of computation (MOC) governs the behaviors and interactions of components at each level of the hierarchy. The control system is a hybrid system which is composed of different MOCs. The formal synthesis of embedded controllers is interpreted as the generation of an architecture mapping from discrete-continuous components to hardware-software components to ensure that the implementations are correct by construction.; This dissertation is focused on a formal approach of hybrid system design and embedded controller synthesis for multi-modal control. Throughout the dissertation, a helicopter based unmanned aerial vehicle is used as a design example. First, modal controllers based on feedback linearization and differential flatness for a nonlinear non-minimum phase helicopter model are designed. Second, a general framework is developed for the derivation of control modes switching which satisfy reachability specifications. Third, embedded system synthesis based on a formal methodology is presented. Various MOCs are used and translated in different design stages according to the design properties of MOCs. Depending on the choice of architecture, the components specified by the MOCs are then mapped to hardware and software components.
机译：基于运营，财务和环境方面的考虑，人们提倡大型系统（例如自动高速公路系统，空中交通管理系统和无人驾驶飞机网络）具有更高的自动化水平。从本质上讲，系统是分布式的且高度动态的，系统周围的环境正在快速变化，并且多目标设计规范加剧了系统设计的复杂性。为了管理设计复杂性，采用多模式控制范式，其中通过分层嵌套操作模式的组成来设计控制系统，以使每个操作模式都被设计为在设计模式时应对设计规范方面的指定情况。建议的操作方式取决于这些规格的顺序。可以将多模式控制系统建模为离散和连续组件的并行和串行组成的层次嵌套。计算模型（MOC）控制层次结构每个级别上组件的行为和交互。控制系统是由不同的MOC组成的混合系统。嵌入式控制器的形式综合被解释为从离散连续组件到硬件软件组件的体系结构映射的生成，以确保构造实现正确。本文主要研究一种混合系统设计和嵌入式控制器综合的多模式控制形式化方法。在整个论文中，以直升机为基础的无人机被用作设计实例。首先，针对非线性非最小相位直升机模型设计了基于反馈线性化和微分平坦度的模态控制器。其次，开发了用于推导满足可达性规格的控制模式切换的通用框架。第三，提出了基于形式化方法的嵌入式系统综合。根据MOC的设计属性，可以在不同的设计阶段使用和转换各种MOC。根据体系结构的选择，然后将MOC指定的组件映射到硬件和软件组件。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号