{"title":"Synthesis of ladder diagrams from Petri nets controller models","authors":"I. Jimenez, E. Lopez, A. Ramírez","doi":"10.1109/ISIC.2001.971512","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971512","url":null,"abstract":"This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as timed interpreted Petri nets (TIPN). The approach herein presented allows to rapidly synthesize correct programs for PLC; it is based on a set of simple translation rules that produces a ladder diagram (LD) from a TIPN. Moreover this set of rules was coded into a program to automate this process.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114678784","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}
{"title":"Adaptive control of partially known nonlinear multivariable systems using neural networks","authors":"S. Ge, Chao Wang, Yihua Tan","doi":"10.1109/ISIC.2001.971524","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971524","url":null,"abstract":"An adaptive neural control scheme is proposed for a class of partially known interconnected MIMO nonlinear systems in block-triangular form, with both unknown nonlinearities and parametric uncertainties. The MIMO systems is composed of interconnected subsystems. The system state interconnections make it difficult to conclude the stability of the whole system by stability analysis of individual subsystem separately. By exploiting the block-triangular structure properties, we first design for each subsystem a full state feedback controller, and then conclude the stability of all the state variables in a nested iterative manner. Semi-global uniform ultimate boundedness of all the signals in the closed-loop of MIMO nonlinear systems is guaranteed. The outputs of the systems are proven to converge to small neighborhoods of the desired trajectories. The control performance of the closed-loop system is guaranteed by suitably choosing the design parameters.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133739651","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}
{"title":"An approach for the analysis and control of hybrid systems","authors":"Monika Kurovszky, H. Alla","doi":"10.1109/ISIC.2001.971511","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971511","url":null,"abstract":"This paper proposes an approach for the analysis and control of hybrid systems based on the hybrid automaton model. The problem that must be solved can be formulated as follows: given a hybrid automaton how can be restricted the regions associated with the controllable transition, in a systematic way, so that all the remaining behaviors satisfy certain properties. The hybrid nature of the manufacturing system is also investigated as a case study represented by a manufacturing cell. Throughout this paper the proposed methods are illustrated using an example taken from the manufacturing domain.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"518 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127616481","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}
{"title":"Modeling of continuous and hybrid systems using partial order relations","authors":"N. Rakoto-Ravalontsalama","doi":"10.1109/ISIC.2001.971501","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971501","url":null,"abstract":"The states of a continuous system are approximated by discrete variables. The behavior of the system is then modeled by a finite state automaton. An order relationship over the set of states allows: 1) to define another order relation between the states of a composed automaton; 2) to reduce the number of transitions of the composed automaton; and 3) to write a simple reachability algorithm for finding a goal state.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122659362","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}
{"title":"Structure discrimination of continuous models for (bio)chemical reaction networks via finite state machines","authors":"C. Conradi, J. Stelling, J. Raisch","doi":"10.1109/ISIC.2001.971498","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971498","url":null,"abstract":"In chemical engineering and biology, reaction networks play a paramount role because of the complexity of such systems. In this paper, we suggest a procedure that allows discarding certain reaction schemes without going through the identification step. We use a finite state machine, which we generate directly from the reaction scheme. Its behaviour covers the behaviour of the corresponding set of differential equations (for any possible value of the parameter vector). Thus, if the automaton fails to explain the experimental data, so will the ODE systems and the reaction scheme under consideration can be discarded.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124108031","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}
{"title":"Reinforcement learning neurocontroller applied to a 2-DOF manipulator","authors":"M. Pérez‑Cisneros, R. Leal-Ascencio, P. A. Cook","doi":"10.1109/ISIC.2001.971484","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971484","url":null,"abstract":"This paper describes the capabilities of a reinforcement learning (RL) algorithm which uses two neural net structures to produce a direct inverse neurocontrol scheme. The Pendubot/sup TM/ a double inverted pendulum which is a nonlinear dynamic system inherently unstable, is used as benchmark plant because it could be attractive for testing control schemes. The RL neurocontroller is a learning system which consists of two connectionist nets, the action net (AN) and the evaluation net (EN). The action net generates the system's behavior and the evaluation net learns an evaluation function of Pendubot's states. A zero magnitude force is not permitted and the neurocontroller always is supplying a control signal for Pendubot/sup TM/. The paper also describes a neurocontroller feature consisting of a nonlinear function added to the control signal when the second link approaches critic states. Results from training and operation stage are summarized for both neurocontrollers. Finally, the mass of link 2 of Pendubot/sup TM/ is altered increasing and decreasing its magnitude in order to observe the generalization capabilities in the neurocontroller. This last experiment is also documented.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"2011 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121676543","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}
{"title":"Application of (min,+) semiring to the optimal control of disassembly manufacturing systems","authors":"R. Fernandez, J. Komenda, N. Zerhouni","doi":"10.1109/ISIC.2001.971508","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971508","url":null,"abstract":"Komenda et al. showed (2001) that deterministic continuous Petri nets can be represented by systems of functional (min,+)-linear equations of the fixed-point type, which can be viewed as linear integral equations in the sense of idempotent integration. In this paper these results on modelling and control are applied to disassembly manufacturing systems. This approach addresses questions like determination of transient and periodic regimes and leads to the optimal control with respect to the \"Just in time criterion\". Throughout a small scale example the application of our approach to the determination of asymptotic behaviour and transfer function of a manufacturing system is illustrated. Moreover, a concept of modified optimal control is presented in this example.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117321322","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}
{"title":"Enhancing control architectures using CORBA","authors":"R. Sanz, M. Alonso, I. López, C.A. Garcia","doi":"10.1109/ISIC.2001.971506","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971506","url":null,"abstract":"The nature of applied research in intelligent robot controllers makes having a versatile software architecture a real need for exploring alternative designs in robotic minds construction. The paper presents an experiment in the adaptation of a multi-robot cooperation architecture to a CORBA-based schema. The paper demonstrates not only the feasibility but the convenience of using, state-of-the-art, modular software technologies for the construction of advanced intelligent controllers.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127583819","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}
{"title":"Final marking of continuous neutral weighted marked graphs","authors":"M. Mostefaoui, I. Demongodin, N. Sauer","doi":"10.1109/ISIC.2001.971510","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971510","url":null,"abstract":"We consider continuous Petri nets that are used to model high throughput systems and flow systems. More advanced, continuous marked graphs are well adapted to model cyclic systems in a compact form. Nevertheless, to evaluate performances of continuous models, it is still necessary to study the evolution graph of the model. However, the determination of all the occurred events can be long and tedious. Therefore, this paper presents a new algebraic method based on the graph theory to determine the final marking vector.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124483173","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}
{"title":"Modeling and control of transporting systems in batch processes with multiple aggregated resources","authors":"L. Ferrarini, L. Piroddi","doi":"10.1109/ISIC.2001.971518","DOIUrl":"https://doi.org/10.1109/ISIC.2001.971518","url":null,"abstract":"In the paper, the problem of the modeling and design of a control system for transporting systems in batch processes is addressed. In particular, it is shown that with a careful modeling of transporting systems as aggregate resources and with a suitable hierarchical control architecture, the problem complexity can be strongly reduced with respect to known approaches. In addition, the implementation phase can be easily carried out as well. Supervisory control theory is here adopted as a design technique, and exploited to the extent to which it is convenient in the perspective of the design and implementation of industrial automation systems. Though the ideas here discussed are quite general, they have been exemplified with a batch process drawn from the literature.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"352 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125631223","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}