Formal state space models of quantum control systems are deduced and a scheme to establish formal state space models via quantization could been obtained for quantum control systems is proposed. State evolution of qua...Formal state space models of quantum control systems are deduced and a scheme to establish formal state space models via quantization could been obtained for quantum control systems is proposed. State evolution of quantum control systems must accord with Schrdinger equations, so it is foremost to obtain Hamiltonian operators of systems. There are corresponding relations between operators of quantum systems and corresponding physical quantities of classical systems, such as momentum, energy and Hamiltonian, so Schrdinger equation models of corresponding quantum control systems via quantization could been obtained from classical control systems, and then establish formal state space models through the suitable transformation from Schrdinger equations for these quantum control systems. This method provides a new kind of path for modeling in quantum control.展开更多
Control systems are vulnerable to faults in control loops where faults may cause abruptand damaging responses. These systems with fault accommodation are becoming more and moreimportant while appearing in flight contr...Control systems are vulnerable to faults in control loops where faults may cause abruptand damaging responses. These systems with fault accommodation are becoming more and moreimportant while appearing in flight control, robots control and nuclear reactor control etc, andcalling for more rigorous development approach. A formal approach is explored in this parer, basedon Extended Duration Calculus, for the development of such kind of systems. A typical exampleof control system with fault accommodation, two-level control system, is used for illstrating ourapproach. Its high level consists of an event-driven supervisor which reeds to the change of plant dueto faults occurrence, and its low level consists of normal controller, reconfigured controller and othercomponents with FDI (Fault Detection and Isolation) mechanism. Firstly performance and systemspecifications of the case are formulated in EDC; Then they are refined step wisely into specificationsof the supervisor and the low level components. Finally the whole system performance is verified inEDC framework.展开更多
For the purpose of solving optimal control problem of a wall-crawling mobile robot working on spherical containers, we propose the Hamel's formalism for Pontryagin Maximum Principle,which gives a general framework...For the purpose of solving optimal control problem of a wall-crawling mobile robot working on spherical containers, we propose the Hamel's formalism for Pontryagin Maximum Principle,which gives a general framework for the optimal control of a mechanical system with velocity constraints, especially nonholonomic constraints. The effectiveness of the proposed framework is shown by the simulations for the above problem.展开更多
葡萄牙建筑师卡里略·达·格拉萨(Carrilho da Gra?a)以独特的设计逻辑使建筑回归本质,即通过纯粹的建筑形式去探索场地与建筑之间的关系,将其贯穿设计始终,以构建一种全新的建筑体验。文章以圣巴托洛缪社会中心(教堂)为例,从...葡萄牙建筑师卡里略·达·格拉萨(Carrilho da Gra?a)以独特的设计逻辑使建筑回归本质,即通过纯粹的建筑形式去探索场地与建筑之间的关系,将其贯穿设计始终,以构建一种全新的建筑体验。文章以圣巴托洛缪社会中心(教堂)为例,从场地领域感、线性空间秩序、建筑与场地的结合、纯粹的形式语言四个方面对格拉萨的设计策略进行解读,从而进一步深入研究格拉萨建筑的特点,探寻格拉萨的建筑思想对于当代建筑的意义与影响。展开更多
文摘Formal state space models of quantum control systems are deduced and a scheme to establish formal state space models via quantization could been obtained for quantum control systems is proposed. State evolution of quantum control systems must accord with Schrdinger equations, so it is foremost to obtain Hamiltonian operators of systems. There are corresponding relations between operators of quantum systems and corresponding physical quantities of classical systems, such as momentum, energy and Hamiltonian, so Schrdinger equation models of corresponding quantum control systems via quantization could been obtained from classical control systems, and then establish formal state space models through the suitable transformation from Schrdinger equations for these quantum control systems. This method provides a new kind of path for modeling in quantum control.
文摘Control systems are vulnerable to faults in control loops where faults may cause abruptand damaging responses. These systems with fault accommodation are becoming more and moreimportant while appearing in flight control, robots control and nuclear reactor control etc, andcalling for more rigorous development approach. A formal approach is explored in this parer, basedon Extended Duration Calculus, for the development of such kind of systems. A typical exampleof control system with fault accommodation, two-level control system, is used for illstrating ourapproach. Its high level consists of an event-driven supervisor which reeds to the change of plant dueto faults occurrence, and its low level consists of normal controller, reconfigured controller and othercomponents with FDI (Fault Detection and Isolation) mechanism. Firstly performance and systemspecifications of the case are formulated in EDC; Then they are refined step wisely into specificationsof the supervisor and the low level components. Finally the whole system performance is verified inEDC framework.
基金the National Natural Science Foundation of China(Grant 11872107)for support
文摘For the purpose of solving optimal control problem of a wall-crawling mobile robot working on spherical containers, we propose the Hamel's formalism for Pontryagin Maximum Principle,which gives a general framework for the optimal control of a mechanical system with velocity constraints, especially nonholonomic constraints. The effectiveness of the proposed framework is shown by the simulations for the above problem.
文摘葡萄牙建筑师卡里略·达·格拉萨(Carrilho da Gra?a)以独特的设计逻辑使建筑回归本质,即通过纯粹的建筑形式去探索场地与建筑之间的关系,将其贯穿设计始终,以构建一种全新的建筑体验。文章以圣巴托洛缪社会中心(教堂)为例,从场地领域感、线性空间秩序、建筑与场地的结合、纯粹的形式语言四个方面对格拉萨的设计策略进行解读,从而进一步深入研究格拉萨建筑的特点,探寻格拉萨的建筑思想对于当代建筑的意义与影响。
