42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)最新文献_第7页

On partially controlled Petri nets that can be made live by supervision 在部分受控的Petri网上，可以通过监督使其存活

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1271729

R. Sreenivas

{"title":"On partially controlled Petri nets that can be made live by supervision","authors":"R. Sreenivas","doi":"10.1109/CDC.2003.1271729","DOIUrl":"https://doi.org/10.1109/CDC.2003.1271729","url":null,"abstract":"The existence of a supervisory policy that enforces liveness in partially controlled Petri nets (PNs) is undecidable in general (cf. theorem 5.3 and corollary 5.2,). However, there can be families of partially controlled PNs for which the existence of a supervisory policy that enforces liveness can be tested and synthesized. In this paper we present choice-controlled PNs as an example of such a family. Also, there can be specific examples of partially controlled PNs that be made live by supervision. Typically, this is shown by producing a supervisory policy that enforces liveness in the example at hand. There can be no generalization of this approach in light of theorem 5.3 and corollary 5.2 in reference. However, for partially controlled Free-Choice PNs, there is a necessary and sufficient characterization of supervisory policies that enforce liveness. In specific, the necessary and sufficient condition for the existence of a supervisory policy that enforces liveness in a fully controlled Free-Choice Petri Net (FCPN) in reference also holds for partially controlled FCPNs. This condition can be used to verify that a given supervisory policy does enforce liveness in a specific partially controlled FCPN.","PeriodicalId":371853,"journal":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121168643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Actuator faults and the linear quadratic control problem 执行器故障与线性二次控制问题

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272691

M. Staroswiecki

引用次数: 53

On the optimal control of hybrid systems: analysis and zonal algorithms for trajectory and schedule optimization 混合系统的最优控制:轨迹与调度优化的分析与分区算法

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272935

M. S. Shaikh, P. Caines

{"title":"On the optimal control of hybrid systems: analysis and zonal algorithms for trajectory and schedule optimization","authors":"M. S. Shaikh, P. Caines","doi":"10.1109/CDC.2003.1272935","DOIUrl":"https://doi.org/10.1109/CDC.2003.1272935","url":null,"abstract":"In [M.S. Shaikh, et al., 2002, April 2003, 2003] a class of hybrid optimal control problems was formulated and a set of necessary conditions for hybrid system trajectory optimally was presented. Employing these conditions, we presented and analyzed a class of general hybrid maximum principle (HMP) based algorithms for hybrid systems optimization. In this paper it is first shown how the HMP algorithm class can be extended with discrete search algorithms, which find locally optimal switching schedules and their associated, switching times. We then present the notion of optimality zones; these zones have a well defined geometrical structure and once they have been computed (or approximated) they permit the exponential complexity search for optimal schedule sequences of the first method to be reduced to a complexity level which under reasonable hypotheses is proportional to the number of zones. The algorithm HMP[Z] which performs this optimization is essentially a minor modification of the HMP algorithm and permits one to reach the global optimum in a single run of the HMP[MCS] algorithm. The efficacy of the proposed algorithms is illustrated via computational examples.","PeriodicalId":371853,"journal":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121415315","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 35

Piecewise linear systems in economic models 经济模型中的分段线性系统

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272280

A. Martinez

引用次数: 1

Finite time control via output feedback: a general approach 通过输出反馈的有限时间控制:一种通用方法

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272586

F. Amato, M. Ariola, C. Cosentino

引用次数: 7

Gain-scheduling of minimax optimal state-feedback controllers for uncertain linear parameter-varying systems 不确定线性变参数系统的极大极小最优状态反馈控制器的增益调度

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272247

M. Yoon, V. Ugrinovskii, M. Pszczel

引用次数: 5

A time-limited balanced reduction method 限时平衡约简法

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272471

S. Gugercin, A. Antoulas

引用次数: 18

Sampling random transfer functions 抽样随机传递函数

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272984

C. Lagoa, Xiang Li, M. C. Mazzaro, M. Sznaier

引用次数: 9

Optimal nonlinear transient control with neuro-AVR of single-machine infinite-bus power systems 单机无穷母线电力系统的神经- avr最优非线性暂态控制

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272778

M. Yazdanpanah, Mahdi Jalili Kharaajoo

引用次数: 6

Control of pendulum: from Super Mechano-System to Human Adaptive Mechatronics 钟摆控制:从超级机械系统到人体自适应机电一体化

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI: 10.1109/CDC.2003.1272824

K. Furuta

{"title":"Control of pendulum: from Super Mechano-System to Human Adaptive Mechatronics","authors":"K. Furuta","doi":"10.1109/CDC.2003.1272824","DOIUrl":"https://doi.org/10.1109/CDC.2003.1272824","url":null,"abstract":"The Super Mechano-System was the research project at the Tokyo Institute of Technology from 1997 to 2002 and the Human Adaptive Mechatronics (HAM) Project is the newly selected COE research project at Tokyo Denki University from 2003 to 2008. Both projects are sponsored by the Ministry of Education, Culture, Sports, Science and Technology in Japan. The author was the SMS project leader until 2000 and Prof. S. Hirose succeeded. Many mechanical systems with functions adapting to varying environment and the relating basic theory have been developed. The concurrent design method of the mechanism and controller has been developed by the control research group in the project. Human adaptive mechatronics is a system, which includes the human in the control loop and changes the functions and structure of the man-machine interface according to the improvement of the human operation skill. In this plenary lecture, the control of the multiple pendulums from the pendant to the upright position is discussed from the viewpoint of varying constraint systems. The swing-up control of pendulums is discussed by considering reachability of an unstable nonlinear system by nonlinear control. A new approach to analyse and to design a nonlinear control based on the fractal is presented. The results show that the map of the control parameters and the initial conditions give interesting results.","PeriodicalId":371853,"journal":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125754584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 152