Pub Date : 1994-03-07DOI: 10.1109/CACSD.1994.288909
J.H. Taylor
The general hybrid systems modeling language (HSML) described here will serve two purposes: to define formally what is meant by the term "hybrid system", and to provide the basis for language-based "front ends" for hybrid system simulation environments. Features of HSML include: hierarchical, modular construction of models; consistent yet distinctive definition of continuous-time, discrete-time and logic-based components; prioritized scheduling of discrete-time components; mechanisms for state-event handling; approaches for dealing with vector-field conflicts and changing order and structure; rigorous type and range checking; and a strict semantic basis that permits extensive checking and validation of the model.<>
{"title":"A modeling language for hybrid systems","authors":"J.H. Taylor","doi":"10.1109/CACSD.1994.288909","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288909","url":null,"abstract":"The general hybrid systems modeling language (HSML) described here will serve two purposes: to define formally what is meant by the term \"hybrid system\", and to provide the basis for language-based \"front ends\" for hybrid system simulation environments. Features of HSML include: hierarchical, modular construction of models; consistent yet distinctive definition of continuous-time, discrete-time and logic-based components; prioritized scheduling of discrete-time components; mechanisms for state-event handling; approaches for dealing with vector-field conflicts and changing order and structure; rigorous type and range checking; and a strict semantic basis that permits extensive checking and validation of the model.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"398 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":"124738298","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.288938
P. Bujakiewicz, P. V. D. van den Bosch
There are several definitions of the index of a differential algebraic equation (DAE). Based on these definitions, algorithms are derived to calculate and reduce the index. Pantelides (1988) has used the differential index to construct his well known algorithm. We propose to use the perturbation index. This naturally leads to finding the highest power of s of each element in (As+B)/sup /spl minus/1/. These highest powers determine the perturbation index of DAE Ax'+Bx=f(t). With fast graph-oriented algorithms this highest power can be found and, consequently, the perturbation index can be determined.<>
{"title":"Determination of perturbation index of a DAE with maximum weighted matching algorithm","authors":"P. Bujakiewicz, P. V. D. van den Bosch","doi":"10.1109/CACSD.1994.288938","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288938","url":null,"abstract":"There are several definitions of the index of a differential algebraic equation (DAE). Based on these definitions, algorithms are derived to calculate and reduce the index. Pantelides (1988) has used the differential index to construct his well known algorithm. We propose to use the perturbation index. This naturally leads to finding the highest power of s of each element in (As+B)/sup /spl minus/1/. These highest powers determine the perturbation index of DAE Ax'+Bx=f(t). With fast graph-oriented algorithms this highest power can be found and, consequently, the perturbation index can be determined.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"18 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":"125084804","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.288898
J. Lieslehto
In this paper a procedure for the automatic design of digital SISO controllers is presented. The design is based solely on input-output data from the process, and the user does not necessarily have to make any design decisions. The first step of the design procedure is the identification of a process model and the estimation of its uncertainty. In the second step a controller is designed based on this model. The controller is fine tuned in such a way that robust stability is guaranteed when the estimated uncertainty from the first step is taken into account. The software for both steps is written in Matlab. The paper first describes the basic principles and tools of the design procedure. Then the software implementation is described. The last two sections contain examples and conclusions.<>
{"title":"Automatic design of digital controllers","authors":"J. Lieslehto","doi":"10.1109/CACSD.1994.288898","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288898","url":null,"abstract":"In this paper a procedure for the automatic design of digital SISO controllers is presented. The design is based solely on input-output data from the process, and the user does not necessarily have to make any design decisions. The first step of the design procedure is the identification of a process model and the estimation of its uncertainty. In the second step a controller is designed based on this model. The controller is fine tuned in such a way that robust stability is guaranteed when the estimated uncertainty from the first step is taken into account. The software for both steps is written in Matlab. The paper first describes the basic principles and tools of the design procedure. Then the software implementation is described. The last two sections contain examples and conclusions.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"90 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":"125148897","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.288877
U. Lefarth
As a rule, modern technical systems consist of components from different disciplines (mechanics, electrical engineering, electro-magnetics, hydraulics, etc.). Typical examples are the so-called mechatronic systems. These are systems whose basic structure is usually a mechanical one with mostly higher transmission bandwidth and which are completed by actuators and sensors for a better statical and dynamical behaviour. Their special efficiency is due to a combination with information-processing systems; these are usually digital control elements. The considerable complexity of systems of this kind requires systematization of the design process, as regards model generation, system analysis and synthesis. This, however, is indissolubly linked to software support covering the entire design cycle. This is the starting point for my contribution which will present a uniform system description language for various technical disciplines. It is the basis of a graphics-oriented, interactive design environment for developing and realizing mechatronic systems which will be exemplified in detail by their modelling and nonlinear simulation.<>
{"title":"Computer-aided development of mechatronic systems","authors":"U. Lefarth","doi":"10.1109/CACSD.1994.288877","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288877","url":null,"abstract":"As a rule, modern technical systems consist of components from different disciplines (mechanics, electrical engineering, electro-magnetics, hydraulics, etc.). Typical examples are the so-called mechatronic systems. These are systems whose basic structure is usually a mechanical one with mostly higher transmission bandwidth and which are completed by actuators and sensors for a better statical and dynamical behaviour. Their special efficiency is due to a combination with information-processing systems; these are usually digital control elements. The considerable complexity of systems of this kind requires systematization of the design process, as regards model generation, system analysis and synthesis. This, however, is indissolubly linked to software support covering the entire design cycle. This is the starting point for my contribution which will present a uniform system description language for various technical disciplines. It is the basis of a graphics-oriented, interactive design environment for developing and realizing mechatronic systems which will be exemplified in detail by their modelling and nonlinear simulation.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"26 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":"122059038","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.288892
J. Pennanen, J. Tanttu
Introduces a tool, which is used to tune PID controllers in Damatic XD automation system. The starting point was to develop a tool which is guided by the user and whose properties are chosen to meet the special needs originating from characteristics of Damatic XD system and processes it is used to control as well as skills of the potential users. After an initial survey it was decided to utilize standard technology/spl minus/PC equipment and MATLAB software. In this way the authors were able to achieve reasonably short product development schedule and flexibility in the development work as well as in possible further improving of the tool.<>
{"title":"TuneKit/spl minus/a tool to tune PID controllers in Damatic XD automation system","authors":"J. Pennanen, J. Tanttu","doi":"10.1109/CACSD.1994.288892","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288892","url":null,"abstract":"Introduces a tool, which is used to tune PID controllers in Damatic XD automation system. The starting point was to develop a tool which is guided by the user and whose properties are chosen to meet the special needs originating from characteristics of Damatic XD system and processes it is used to control as well as skills of the potential users. After an initial survey it was decided to utilize standard technology/spl minus/PC equipment and MATLAB software. In this way the authors were able to achieve reasonably short product development schedule and flexibility in the development work as well as in possible further improving of the tool.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"189 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":"123205144","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.288979
R.R. Kadiyala
Presents a visualization tool which allows one to view the stability characteristics of a nonlinear system. The author finds that these computations may be carried out in parallel and presents a client-server based algorithm for multiple networked workstations. The author also discusses various viewing alternatives for the visualization of these dynamics and examples are given to show the insight provided by Sys View.<>
{"title":"Sys View: a visualization tool for viewing the regions of validity and attraction of nonlinear systems","authors":"R.R. Kadiyala","doi":"10.1109/CACSD.1994.288979","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288979","url":null,"abstract":"Presents a visualization tool which allows one to view the stability characteristics of a nonlinear system. The author finds that these computations may be carried out in parallel and presents a client-server based algorithm for multiple networked workstations. The author also discusses various viewing alternatives for the visualization of these dynamics and examples are given to show the insight provided by Sys View.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"216 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":"121941363","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.288883
A.G. Cheremensky, N.V. Dakev
With the help of constructing orthogonal projections a transformation of a matrix into the block triangular form separating its spectrum into the "stable" and "unstable" parts is obtained. Using this form a modification of Larin's separation procedure is given. A new simple derivation of Larin's algorithms for construction of orthogonal projections and stabilizing solutions of matrix algebraic Riccati equations is produced. A high precision computer realisation of Larin's algorithms is created using Turbo C on IBM PCs and close compatibles.<>
{"title":"Separation procedure and new derivation of Larin's algorithms for solving algebraic Riccati equations","authors":"A.G. Cheremensky, N.V. Dakev","doi":"10.1109/CACSD.1994.288883","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288883","url":null,"abstract":"With the help of constructing orthogonal projections a transformation of a matrix into the block triangular form separating its spectrum into the \"stable\" and \"unstable\" parts is obtained. Using this form a modification of Larin's separation procedure is given. A new simple derivation of Larin's algorithms for construction of orthogonal projections and stabilizing solutions of matrix algebraic Riccati equations is produced. A high precision computer realisation of Larin's algorithms is created using Turbo C on IBM PCs and close compatibles.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"21 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":"134053218","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.288878
R. Rutz, J. Richert
This paper introduces the design environment CAMeL (Computer-Aided Mechatronic Laboratory) which supports the whole design cycle of mechatronic systems. Modern CACSD tools have to be open and easily combinable with other existing tools designated to perform special design tasks. CAMeL is a process-based development framework for control systems. Beside an internal toolset for linear analysis, nonlinear simulation and optimization based on the system description language DSL, CAMeL has the possibility to use other, i.e. commercial design environments to enhance its performance. In addition, CAMeL software processes are able to communicate online with technical processes. Thus design and optimization of controllers can be performed directly in the real plant.<>
{"title":"CAMeL/spl minus/an open CACSD environment","authors":"R. Rutz, J. Richert","doi":"10.1109/CACSD.1994.288878","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288878","url":null,"abstract":"This paper introduces the design environment CAMeL (Computer-Aided Mechatronic Laboratory) which supports the whole design cycle of mechatronic systems. Modern CACSD tools have to be open and easily combinable with other existing tools designated to perform special design tasks. CAMeL is a process-based development framework for control systems. Beside an internal toolset for linear analysis, nonlinear simulation and optimization based on the system description language DSL, CAMeL has the possibility to use other, i.e. commercial design environments to enhance its performance. In addition, CAMeL software processes are able to communicate online with technical processes. Thus design and optimization of controllers can be performed directly in the real plant.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"8 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":"132814045","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.288873
F. Dumortier, A. van Cauwenberghe, L. Boullart
This paper discusses the computer-aided design of advanced control algorithms for a nuclear PWR-reactor. The implementation of the simulation model and the integration of the control methods in a typical CADCS-package are considered. The control problem may well serve as a new benchmark problem for CADCS. To evaluate the control performance of the digital control algorithms a comparison is made between classical analog PID-control and two long-range predictive control (LRPC)-methods.<>
{"title":"Computer aided design of advanced control algorithms for nuclear reactor control","authors":"F. Dumortier, A. van Cauwenberghe, L. Boullart","doi":"10.1109/CACSD.1994.288873","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288873","url":null,"abstract":"This paper discusses the computer-aided design of advanced control algorithms for a nuclear PWR-reactor. The implementation of the simulation model and the integration of the control methods in a typical CADCS-package are considered. The control problem may well serve as a new benchmark problem for CADCS. To evaluate the control performance of the digital control algorithms a comparison is made between classical analog PID-control and two long-range predictive control (LRPC)-methods.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"29 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":"123535428","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.288942
Anders Christensen, MScEE o c . Prof, DK-2800 Lyngby
The symbolic processor is targeted as a novel basic service in computer aided control system design. Basic symbolic tools are exemplified. A design process model is formulated for control design, with subsets manipulator, tools, target and goals. It is argued, that symbolic processing will give substantial contributions to future design environments, as it provides flexibility of representation not possible with traditional numerics. Based on the design process, views on research issues in the incorporation of symbolic processing into traditional numerical design environments are given.<>
{"title":"Symbolics in control design: prospects and research issues","authors":"Anders Christensen, MScEE o c . Prof, DK-2800 Lyngby","doi":"10.1109/CACSD.1994.288942","DOIUrl":"https://doi.org/10.1109/CACSD.1994.288942","url":null,"abstract":"The symbolic processor is targeted as a novel basic service in computer aided control system design. Basic symbolic tools are exemplified. A design process model is formulated for control design, with subsets manipulator, tools, target and goals. It is argued, that symbolic processing will give substantial contributions to future design environments, as it provides flexibility of representation not possible with traditional numerics. Based on the design process, views on research issues in the incorporation of symbolic processing into traditional numerical design environments are given.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"81 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":"123596923","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：