Leo Motus - Academia.edu (original) (raw)

Papers by Leo Motus

Control Engineering Practice, 1995

IFAC Proceedings Volumes, 1981

The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied fr... more The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied from both the user's and designer's point of view. The campranise is a modifiable system. The designer's line is demonstrated on the algorithmic and application progr~ng le,:,el t<X.?etJ:er with, the systems proqrarrrninq considerations. The author s exper~ence ~s ~n the f~eld of centralized supervisory systems. Therefore those aspects may be of value,for future desions which are invariant with respect to changes of system arch~tecture toward ' decentralized control and distribu+-.ed processing. Ke'I\'.Drds.Chemical industry; industrial control; centralized plant control; control svstem analysis; process control. INrRODUcrION Canouter control of process technology plants has-overcorre the main growing Dains and won application already as centralized systems

Proceedings of the First International Conference on Web Information Systems and Technologies, 2005

Retail organizations works on thin margins and hence it is very imperative that they utilize info... more Retail organizations works on thin margins and hence it is very imperative that they utilize information technology to achieve optimization on time and space in the entire retail supply chain in order to remain competitive. Web services is an emerging technology holding tremendous promise as a platform neutral, easy to implement mechanism to achieve information and business process integration in the extended enterprise. In this paper, we review how Web services in consonance with other technologies can prove to be an effective business enabler for the retail business when adopted in a phased manner.

IFAC Proceedings Volumes, May 1, 1982

In this paper we suggest a formal mode l for specifying control system behaviour with special att... more In this paper we suggest a formal mode l for specifying control system behaviour with special attention to timing and general software structure. The model gives an implementation independent description of the problem. Several timing and structural properties can be proved using the model, it can also be useful for comparing alternative designs. A trivial example demonstrates the use of the model. The paper ends with discussion of related papers and some future problems.

IFAC Proceedings Volumes, May 1, 1986

Software for Computer Control 1986, 1987

In the paper a language and a calculus based on Gentzen 's sequenzen method is suggested. The app... more In the paper a language and a calculus based on Gentzen 's sequenzen method is suggested. The application side of the language is obt ained as a further abstraction of the Quirk 's model , consequently it takes into account timing re strictions on execution and communication of functional tasks of the distributed control system. The paper concludes with an example of deducing a deadlock condition from the description of distributed control system.

IFAC Proceedings Volumes, 1987

Published for the International Federation of Automatic Control by Pergamon Press eBooks, 1990

Section headings and selected papers: Plenary Speech. A distributed type computer-aided software ... more Section headings and selected papers: Plenary Speech. A distributed type computer-aided software requirements engineering environment, Y Matsumoto & T Ajisaka. Invited Papers. A real-time OSI based network: is it possible? I Izikowitz et al. Review and outlook on DCCS, T Lalive d'Epinay. Technical Papers. How can we afford a new DCCS? L P Krings. Principles and models for integrating distributed systems from existing components, V Tschammer & D Strick. The designing implementation of distributed computer energy-managing system, Zhao Xiao-Shan et al. A knowledge based tool for DCCS design validation, S Mitra et al. Task allocation and optimal design for a distributed system, P Purkayastha & S Singh. A shared file system in the G8050 multi-computer system, R Mori et al. Autonomous decentralized steel production process control system, Y Suzuki et al. Integrated distributed computer control system of a great ammonia plant, G Nikiforov et al. An expert system for mill pacing in bar mill, T Sato et al. Distributed power system simulation on a hypercube computer, Y Akimoto et al. Distributed computation and control using a conic like toolkit and a multitransputer network, C P Bottura & J T Costa Filho. Application of neural networks to power system state evaluation, K Nishimura et al. Analysis for the service time of user request on the mini-MAP network, Wook Hyun Kwon et al. A new multi-server concept for the MMS environment, Y Dakroury & J P Elloy. Which transport protocol for MMS based cyclic data acquisition? P Pleinevaux. New distributed control system based on mini-MAP, A Ohba & K Iizuka. Author index. Keyword index.

IFAC Proceedings Volumes, May 1, 1985

Abstract In a DCCS software specification model (the Quirk's model) a high level communicatio... more Abstract In a DCCS software specification model (the Quirk's model) a high level communication and synchronization concept (channels) is proposed. In this paper we consider some problems arised by implementation of this concept. To describe and analyse practically achievable synchronization of events, several intervals (tolerance, equivalence, and simultaneity intervals) are defined. The mutual relation of these intervals enable us to analyse adequacy of events in the control object, in the specification and in the computer system. The use of channels for data communication is also described. A detailed functioning of different types of channels is analysed and some details of their implementation are discussed. Data communication can be reduced to send primitive without waiting for positive acknowledgement. The message validity time, necessary for reliable communication, is obtained from the specification.

IFAC Proceedings Volumes, Jul 1, 1984

Sophisticated technology, application of advanced control theory and-Introduction of distributed ... more Sophisticated technology, application of advanced control theory and-Introduction of distributed computer syste~s have increased the share of software development and maintenance in the overall cost of control syste~. New methods for software development are emerging, the most promising of them being those based on using formal models for specification. In this paper three formal models (the aggregate model, ?etri nets, the Quirk's illodel) are applied for describing a part of a control system for oil cracking catalyst production process. The aim is to investigate suitabi li ty of models from control eng ineer' s and programmer's point of views.

Engineering Applications of Artificial Intelligence, Aug 1, 1996

IFAC Proceedings Volumes, Aug 1, 1981

The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied fr... more The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied from both the user's and designer's point of view. The campranise is a modifiable system. The designer's line is demonstrated on the algorithmic and application progr~ng le,:,el t<X.?etJ:er with, the systems proqrarrrninq considerations. The author s exper~ence ~s ~n the f~eld of centralized supervisory systems. Therefore those aspects may be of value,for future desions which are invariant with respect to changes of system arch~tecture toward ' decentralized control and distribu+-.ed processing. Ke'I\'.Drds.Chemical industry; industrial control; centralized plant control; control svstem analysis; process control. INrRODUcrION Canouter control of process technology plants has-overcorre the main growing Dains and won application already as centralized systems

IFAC Proceedings Volumes, Jul 1, 1984

De sid e s s ynch r on i zat i on o f prog r am execution i n ti~E , t i ming also inc l ud e s c... more De sid e s s ynch r on i zat i on o f prog r am execution i n ti~E , t i ming also inc l ud e s commun i ca t ion of sof tware wi th the env i ronmen t and i n t erprogram communicati on acco r ding t o a set of g i ven t ime cons tr aints. I n t his paper t he Quir k ' s Mode l i s pro pos e d for s oftwar e spe c i f i ca tion. Th i s mode l expli cit l y describes the s e t of ti~e c o nstraints that a so ftwar e system has to sat is fy. Based on this mod e l a s oft",are specific ation system which a llows to pr ove cor rectne ss of c e rt a i n t i ming c o ndition s as wel l as to discover potentia l informati o na l de adl ock has been d e veloped. To soften the forma li sm of t h e mod e l , a s p e cif ica t ion l a ngua qe has been contructed. An example il lu s tr a t es t he us e of t he propo s ed sy st em. Ke ywords. COMputer contro l softwar e , dy namics speci f ica t i o n language , Quirk ' s mo d e l, time constraints , a nal y s i s of the spe cifi c a tion .

IFAC Proceedings Volumes, Sep 1, 1979

Two dedicated real-time operating systems (RTOS) are analysed and compared with logical model obt... more Two dedicated real-time operating systems (RTOS) are analysed and compared with logical model obtained in TC-8, Purdue Europe. Specialisation is mainly concentrated to Process Management, Exception Handling and operator-RTOS interface. It is concluded that dedicated RTOS, absolutely necessary in some cases, has in all applications certain advantag e s. Consequently, the possibility to dedicate an ope rating system should be considered as an essential RTOS design problem.

IFAC Proceedings Volumes, May 1, 1976

Control Engineering Practice, 1995

IFAC Proceedings Volumes, 1981

The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied fr... more The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied from both the user's and designer's point of view. The campranise is a modifiable system. The designer's line is demonstrated on the algorithmic and application progr~ng le,:,el t<X.?etJ:er with, the systems proqrarrrninq considerations. The author s exper~ence ~s ~n the f~eld of centralized supervisory systems. Therefore those aspects may be of value,for future desions which are invariant with respect to changes of system arch~tecture toward ' decentralized control and distribu+-.ed processing. Ke'I\'.Drds.Chemical industry; industrial control; centralized plant control; control svstem analysis; process control. INrRODUcrION Canouter control of process technology plants has-overcorre the main growing Dains and won application already as centralized systems

Proceedings of the First International Conference on Web Information Systems and Technologies, 2005

Retail organizations works on thin margins and hence it is very imperative that they utilize info... more Retail organizations works on thin margins and hence it is very imperative that they utilize information technology to achieve optimization on time and space in the entire retail supply chain in order to remain competitive. Web services is an emerging technology holding tremendous promise as a platform neutral, easy to implement mechanism to achieve information and business process integration in the extended enterprise. In this paper, we review how Web services in consonance with other technologies can prove to be an effective business enabler for the retail business when adopted in a phased manner.

IFAC Proceedings Volumes, May 1, 1982

In this paper we suggest a formal mode l for specifying control system behaviour with special att... more In this paper we suggest a formal mode l for specifying control system behaviour with special attention to timing and general software structure. The model gives an implementation independent description of the problem. Several timing and structural properties can be proved using the model, it can also be useful for comparing alternative designs. A trivial example demonstrates the use of the model. The paper ends with discussion of related papers and some future problems.

IFAC Proceedings Volumes, May 1, 1986

Software for Computer Control 1986, 1987

In the paper a language and a calculus based on Gentzen 's sequenzen method is suggested. The app... more In the paper a language and a calculus based on Gentzen 's sequenzen method is suggested. The application side of the language is obt ained as a further abstraction of the Quirk 's model , consequently it takes into account timing re strictions on execution and communication of functional tasks of the distributed control system. The paper concludes with an example of deducing a deadlock condition from the description of distributed control system.

IFAC Proceedings Volumes, 1987

Published for the International Federation of Automatic Control by Pergamon Press eBooks, 1990

Section headings and selected papers: Plenary Speech. A distributed type computer-aided software ... more Section headings and selected papers: Plenary Speech. A distributed type computer-aided software requirements engineering environment, Y Matsumoto & T Ajisaka. Invited Papers. A real-time OSI based network: is it possible? I Izikowitz et al. Review and outlook on DCCS, T Lalive d'Epinay. Technical Papers. How can we afford a new DCCS? L P Krings. Principles and models for integrating distributed systems from existing components, V Tschammer & D Strick. The designing implementation of distributed computer energy-managing system, Zhao Xiao-Shan et al. A knowledge based tool for DCCS design validation, S Mitra et al. Task allocation and optimal design for a distributed system, P Purkayastha & S Singh. A shared file system in the G8050 multi-computer system, R Mori et al. Autonomous decentralized steel production process control system, Y Suzuki et al. Integrated distributed computer control system of a great ammonia plant, G Nikiforov et al. An expert system for mill pacing in bar mill, T Sato et al. Distributed power system simulation on a hypercube computer, Y Akimoto et al. Distributed computation and control using a conic like toolkit and a multitransputer network, C P Bottura & J T Costa Filho. Application of neural networks to power system state evaluation, K Nishimura et al. Analysis for the service time of user request on the mini-MAP network, Wook Hyun Kwon et al. A new multi-server concept for the MMS environment, Y Dakroury & J P Elloy. Which transport protocol for MMS based cyclic data acquisition? P Pleinevaux. New distributed control system based on mini-MAP, A Ohba & K Iizuka. Author index. Keyword index.

IFAC Proceedings Volumes, May 1, 1985

Abstract In a DCCS software specification model (the Quirk's model) a high level communicatio... more Abstract In a DCCS software specification model (the Quirk's model) a high level communication and synchronization concept (channels) is proposed. In this paper we consider some problems arised by implementation of this concept. To describe and analyse practically achievable synchronization of events, several intervals (tolerance, equivalence, and simultaneity intervals) are defined. The mutual relation of these intervals enable us to analyse adequacy of events in the control object, in the specification and in the computer system. The use of channels for data communication is also described. A detailed functioning of different types of channels is analysed and some details of their implementation are discussed. Data communication can be reduced to send primitive without waiting for positive acknowledgement. The message validity time, necessary for reliable communication, is obtained from the specification.

IFAC Proceedings Volumes, Jul 1, 1984

Sophisticated technology, application of advanced control theory and-Introduction of distributed ... more Sophisticated technology, application of advanced control theory and-Introduction of distributed computer syste~s have increased the share of software development and maintenance in the overall cost of control syste~. New methods for software development are emerging, the most promising of them being those based on using formal models for specification. In this paper three formal models (the aggregate model, ?etri nets, the Quirk's illodel) are applied for describing a part of a control system for oil cracking catalyst production process. The aim is to investigate suitabi li ty of models from control eng ineer' s and programmer's point of views.

Engineering Applications of Artificial Intelligence, Aug 1, 1996

IFAC Proceedings Volumes, Aug 1, 1981

The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied fr... more The problem of COlTlPuter control s ystem design for large scale chemical nlants are ' studied from both the user's and designer's point of view. The campranise is a modifiable system. The designer's line is demonstrated on the algorithmic and application progr~ng le,:,el t<X.?etJ:er with, the systems proqrarrrninq considerations. The author s exper~ence ~s ~n the f~eld of centralized supervisory systems. Therefore those aspects may be of value,for future desions which are invariant with respect to changes of system arch~tecture toward ' decentralized control and distribu+-.ed processing. Ke'I\'.Drds.Chemical industry; industrial control; centralized plant control; control svstem analysis; process control. INrRODUcrION Canouter control of process technology plants has-overcorre the main growing Dains and won application already as centralized systems

IFAC Proceedings Volumes, Jul 1, 1984

De sid e s s ynch r on i zat i on o f prog r am execution i n ti~E , t i ming also inc l ud e s c... more De sid e s s ynch r on i zat i on o f prog r am execution i n ti~E , t i ming also inc l ud e s commun i ca t ion of sof tware wi th the env i ronmen t and i n t erprogram communicati on acco r ding t o a set of g i ven t ime cons tr aints. I n t his paper t he Quir k ' s Mode l i s pro pos e d for s oftwar e spe c i f i ca tion. Th i s mode l expli cit l y describes the s e t of ti~e c o nstraints that a so ftwar e system has to sat is fy. Based on this mod e l a s oft",are specific ation system which a llows to pr ove cor rectne ss of c e rt a i n t i ming c o ndition s as wel l as to discover potentia l informati o na l de adl ock has been d e veloped. To soften the forma li sm of t h e mod e l , a s p e cif ica t ion l a ngua qe has been contructed. An example il lu s tr a t es t he us e of t he propo s ed sy st em. Ke ywords. COMputer contro l softwar e , dy namics speci f ica t i o n language , Quirk ' s mo d e l, time constraints , a nal y s i s of the spe cifi c a tion .

IFAC Proceedings Volumes, Sep 1, 1979

Two dedicated real-time operating systems (RTOS) are analysed and compared with logical model obt... more Two dedicated real-time operating systems (RTOS) are analysed and compared with logical model obtained in TC-8, Purdue Europe. Specialisation is mainly concentrated to Process Management, Exception Handling and operator-RTOS interface. It is concluded that dedicated RTOS, absolutely necessary in some cases, has in all applications certain advantag e s. Consequently, the possibility to dedicate an ope rating system should be considered as an essential RTOS design problem.

IFAC Proceedings Volumes, May 1, 1976

I acknowledge and understand that by signing this document, I am the person I claim to be and agr... more I acknowledge and understand that by signing this document, I am the person I claim to be and agree that all information submitted within is correct and accurate. In addition, I acknowledge and understand that I am required to comply with all applicable federal, state, and George Mason University policies, procedures, and regulations regarding the use of George Mason University computing systems. Failure to comply with such policies, procedures, and regulations may result in a loss of access to computing resources and George Mason University may seek legal remedies. Furthermore, I agree that I will only access those data that are related specifically to my personal records and that I will not share or disclose my account with others.