Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288929
T. Ohtani, M. Fukuzawa, M. Masubuchi
Recently, nonlinear control theory based upon the differential geometric approach has proved their availability through the theoretical study and practical system applications. We propose a computer aided design system for nonlinear control systems by using mathematical software system "Mathematica". The functions of this CAD system includes the feedback linearization techniques, nonlinear observers and robust analyses. The availability of this CAD system is confirmed by several examples.<>
{"title":"A CAD system for nonlinear control system design using \"Mathematica\"","authors":"T. Ohtani, M. Fukuzawa, M. Masubuchi","doi":"10.1109/CACSD.1994.288929","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288929","url":null,"abstract":"Recently, nonlinear control theory based upon the differential geometric approach has proved their availability through the theoretical study and practical system applications. We propose a computer aided design system for nonlinear control systems by using mathematical software system \"Mathematica\". The functions of this CAD system includes the feedback linearization techniques, nonlinear observers and robust analyses. The availability of this CAD system is confirmed by several examples.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129690806","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288945
Jinwoo Kim, Yoonkeon Moon, B. Zeigler
As plant specifications become complicated, more robust controller design methodologies are needed. A genetic algorithm optimizer, which utilizes natural evolution strategies, offers a promising technology that supports optimization of the parameters of fuzzy logic and other parameterized non-linear controllers. This paper shows how GAs can effectively and efficiently optimize the performance of parameterized non-linear controllers, such as fuzzy net controllers in a multiprocessor simulation environment. Our results demonstrate the advantage of a Computer-Aided System Design technique for rapid prototyping of control systems.<>
{"title":"Designing fuzzy net controllers using GA optimization","authors":"Jinwoo Kim, Yoonkeon Moon, B. Zeigler","doi":"10.1109/CACSD.1994.288945","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288945","url":null,"abstract":"As plant specifications become complicated, more robust controller design methodologies are needed. A genetic algorithm optimizer, which utilizes natural evolution strategies, offers a promising technology that supports optimization of the parameters of fuzzy logic and other parameterized non-linear controllers. This paper shows how GAs can effectively and efficiently optimize the performance of parameterized non-linear controllers, such as fuzzy net controllers in a multiprocessor simulation environment. Our results demonstrate the advantage of a Computer-Aided System Design technique for rapid prototyping of control systems.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130701245","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288936
G. Grubel, M. Otter, F. Breitenecker, A. Prinz, G. Schuster, I. Bausch-Gall, H. Fischer
One problem in multidisciplinary simulation is to merge models which originate in different disciplinary environments into a common computer-executable model for computational experimenting. The paper reports on a possible solution thereof. This is based on a public-domain, application-neutral, formally defined Fortran or C format for dynamic input/output systems, called DSblock, to which "higher level" models can be translated. In particular, it is reported on A-CoSiLa, an ACSL model translator to the neutral DSblock format.<>
{"title":"An ACSL-model translator to the neutral Fortran DSblock-model format","authors":"G. Grubel, M. Otter, F. Breitenecker, A. Prinz, G. Schuster, I. Bausch-Gall, H. Fischer","doi":"10.1109/CACSD.1994.288936","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288936","url":null,"abstract":"One problem in multidisciplinary simulation is to merge models which originate in different disciplinary environments into a common computer-executable model for computational experimenting. The paper reports on a possible solution thereof. This is based on a public-domain, application-neutral, formally defined Fortran or C format for dynamic input/output systems, called DSblock, to which \"higher level\" models can be translated. In particular, it is reported on A-CoSiLa, an ACSL model translator to the neutral DSblock format.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125310583","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288899
J.S. Luo, A. Johnson, P. V. D. van den Bosch
A new sufficient condition is derived from a general framework for linear state space models maintaining asymptotic stability in spite of existence uncertainty. Constant structured design problem is solved by using a numerical optimization program. In all examples we examined the results of stability robustness analysis and synthesis based on our sufficient condition are less conservative than those of existing methods.<>
{"title":"Stability robustness analysis and design for linear systems with structured time-invariant uncertainty","authors":"J.S. Luo, A. Johnson, P. V. D. van den Bosch","doi":"10.1109/CACSD.1994.288899","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288899","url":null,"abstract":"A new sufficient condition is derived from a general framework for linear state space models maintaining asymptotic stability in spite of existence uncertainty. Constant structured design problem is solved by using a numerical optimization program. In all examples we examined the results of stability robustness analysis and synthesis based on our sufficient condition are less conservative than those of existing methods.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"285 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122688961","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288913
C. M. Rimvall, H. Spang, J. A. Farrell, M. Radecki, M. Idelchik
This paper will present the open and extendible architecture of the BEACON modeling and code generation system. We will explain the mapping between BEACON's graphical block-diagram "language" and the target code and show how new graphical modeling blocks and their implementational details can be defined to expand BEACON's capabilities. BEACON is a graphical computer aided control engineering environment which automatically translates block-diagrams into either simulation or real-time computer code. BEACON was developed at GE and has been in production use within the company since the first quarter of 1992.<>
{"title":"An open architecture for automatic code generation using the BEACON CACE environment","authors":"C. M. Rimvall, H. Spang, J. A. Farrell, M. Radecki, M. Idelchik","doi":"10.1109/CACSD.1994.288913","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288913","url":null,"abstract":"This paper will present the open and extendible architecture of the BEACON modeling and code generation system. We will explain the mapping between BEACON's graphical block-diagram \"language\" and the target code and show how new graphical modeling blocks and their implementational details can be defined to expand BEACON's capabilities. BEACON is a graphical computer aided control engineering environment which automatically translates block-diagrams into either simulation or real-time computer code. BEACON was developed at GE and has been in production use within the company since the first quarter of 1992.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131623557","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288902
Ole Ravn, M. Szymkat
Based on a review of user interaction modes and the specific needs of the CACE domain the paper describes requirements for user interaction in future CACE environments. Taking another look at the design process in CACE key areas in need of more user interaction support are pointed out. Three concepts are described through examples, dynamic data access, parallel evaluation and active documentation. The features of existing tools are summarized. The problem of how easily or 'naturally' the novel concepts are integrated is stressed.<>
{"title":"Requirements for user interaction support in future CACE environments","authors":"Ole Ravn, M. Szymkat","doi":"10.1109/CACSD.1994.288902","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288902","url":null,"abstract":"Based on a review of user interaction modes and the specific needs of the CACE domain the paper describes requirements for user interaction in future CACE environments. Taking another look at the design process in CACE key areas in need of more user interaction support are pointed out. Three concepts are described through examples, dynamic data access, parallel evaluation and active documentation. The features of existing tools are summarized. The problem of how easily or 'naturally' the novel concepts are integrated is stressed.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134096907","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288896
A. Johnson
Can a discrete-time, linear system be controlled so that if the initial state x(0) is nonnegative the state x(k) will remain nonnegative for all future k, while at the same time a quadratic cost criterion is minimized? It is known that the nondiagonal elements of the transformed weighting matrices of a finite-horizon cost criterion can be chosen to give a closed-loop matrix which contains no negative elements. The controllable block companion transformation which has to be used must be positive. Here this restrictive condition is removed, allowing the method to be applied to more general systems. The infinite-horizon problem is also solved. Examples are given to demonstrate the method.<>
{"title":"LQ state-constrained control","authors":"A. Johnson","doi":"10.1109/CACSD.1994.288896","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288896","url":null,"abstract":"Can a discrete-time, linear system be controlled so that if the initial state x(0) is nonnegative the state x(k) will remain nonnegative for all future k, while at the same time a quadratic cost criterion is minimized? It is known that the nondiagonal elements of the transformed weighting matrices of a finite-horizon cost criterion can be chosen to give a closed-loop matrix which contains no negative elements. The controllable block companion transformation which has to be used must be positive. Here this restrictive condition is removed, allowing the method to be applied to more general systems. The infinite-horizon problem is also solved. Examples are given to demonstrate the method.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122180862","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288871
Ya-Dung Pan, F. Cellier
This paper presents a new analytical controller design strategy for remotely operated systems, emphasizing on the stability of closed-loop control systems involving long time delays. A model-predictive control loop is constructed and implemented inside a digital controller to provide predictive state information, and an efficient model reduction method is applied to yield a reduced-order digital controller. This reduced-order digital controller is a model-reference adaptive controller that can control closed-loop systems with long time delays by following a specified performance. The Stanford arm is chosen as a simulation example.<>
{"title":"Analytical controller design strategy for remotely operated systems with long time delays","authors":"Ya-Dung Pan, F. Cellier","doi":"10.1109/CACSD.1994.288871","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288871","url":null,"abstract":"This paper presents a new analytical controller design strategy for remotely operated systems, emphasizing on the stability of closed-loop control systems involving long time delays. A model-predictive control loop is constructed and implemented inside a digital controller to provide predictive state information, and an efficient model reduction method is applied to yield a reduced-order digital controller. This reduced-order digital controller is a model-reference adaptive controller that can control closed-loop systems with long time delays by following a specified performance. The Stanford arm is chosen as a simulation example.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129845842","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288911
W. Bencze, G. Franklin
A method is presented here, based on automatic control system design practice, for the synthesis of hybrid control systems, controllers which contain both real-time feedback loops and logical decision-making components. In the proposed framework, the overall design task is separated into three component parts: 1) design of the real-time control loops; 2) synthesis of the decision-making logic; and 3) construction of appropriate boolean/real-time translation routines. This is an effective partitioning of the control system design task, as shown through two examples: 1) control of a highly flexible structure and 2) a robotic manipulator control task. This framework was found to be compatible with expert system-based intelligent control systems and can employ expert system techniques when necessary or effective.<>
{"title":"A separation principle for hybrid control system design","authors":"W. Bencze, G. Franklin","doi":"10.1109/CACSD.1994.288911","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288911","url":null,"abstract":"A method is presented here, based on automatic control system design practice, for the synthesis of hybrid control systems, controllers which contain both real-time feedback loops and logical decision-making components. In the proposed framework, the overall design task is separated into three component parts: 1) design of the real-time control loops; 2) synthesis of the decision-making logic; and 3) construction of appropriate boolean/real-time translation routines. This is an effective partitioning of the control system design task, as shown through two examples: 1) control of a highly flexible structure and 2) a robotic manipulator control task. This framework was found to be compatible with expert system-based intelligent control systems and can employ expert system techniques when necessary or effective.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130934475","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}
Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288884
P. Nataraj
We present QFT IIT, a MATLAB toolbox for quantitative feedback theory (QFT)-based synthesis of robust feedback systems. QFT IIT can handle several system classes including linear and nonlinear, single input-output and multi input-output, output and internal variable feedback, and linear distributed with distributed or point feedback types. We used QFT IIT to successfully solve a large number of robust control problems at The Indian Institute of Technology (IIT) Bombay.<>
{"title":"A MATLAB toolbox for QFT-based synthesis of linear/nonlinear lumped and linear distributed systems","authors":"P. Nataraj","doi":"10.1109/CACSD.1994.288884","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288884","url":null,"abstract":"We present QFT IIT, a MATLAB toolbox for quantitative feedback theory (QFT)-based synthesis of robust feedback systems. QFT IIT can handle several system classes including linear and nonlinear, single input-output and multi input-output, output and internal variable feedback, and linear distributed with distributed or point feedback types. We used QFT IIT to successfully solve a large number of robust control problems at The Indian Institute of Technology (IIT) Bombay.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116477012","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}