检索结果-内蒙古大学图书馆

A CLASS OF HIGH-LEVEL languages FOR process-control

COMPUTERS IN INDUSTRY 1983年第1期4卷 63-67页

作者： GAIT, J UNIV MISSISSIPPI SCH ENGNDEPT COMP SCIUNIVERSITYMS 38677

An abstract notational system can serve as a model for the investigation of high level programming languages that explicitly support the monitoring and control of parallel events, provide data types at the bit level and allow real-time interaction between user and process. Run-time mechanisms that support the execution of programs in the notational system chosen on specific hardware can also be identified. A software tools environment can be designed to provide high level languages and runtime support for process control in a way that encourages portability among different hardware configurations.

关键词： Distributed systems high-level languages process automation process control real-time run-time systems software tools state-set notation process control languages

来源：评论

学校读者我要写书评

暂无评论

Integrated control and diagnosis of sequential processes

引用

control ENGINEERING PRACTICE 1996年第9期4卷 1277-1286页

作者： Arzen, KE Department of Automatic Control Lund Institute of Technology Box 118 S-221 00 Lund Sweden

It is shown how DMP, a model-based on-line diagnosis can be combined with Grafcet. This gives a convenient way of structuring on-line diagnosis of mode-changing processes where the process model is different in the different operating modes. It is also an example of how diagnosis can be integrated with sequence control logic. The approach is exemplified on a realtime simulation model of an ultra-high-temperature sterilization process. The paper also shows how Grafcet can be used for the implementation of alarm filters for event-based diagnosis.

关键词： fault diagnosis sequential control Petri nets models process control languages

来源：评论

学校读者我要写书评

暂无评论

SCOL-A high-level structured language for process control

引用

Computers in Industry 1981年第4期2卷 233-239页

作者： Barkai, Joseph Shafir, S. Elscint Ltd. Haifa P.O. Box 7458 Israel Technion Israel Institute of Technology Haifa Israel

A high-level process control language, SCOL, was developed to be used in a multi-purpose process control system. Time-dependent process control programming becomes extremely easy using a unique timing attribute mechanism, making the language suitable for real-time applications, where the time factor is a dominant one, while the computation part is of lesser importance. A conventional microcomputer system is used to program the control system for the specific application via an Erasable Programmable Read Only Memory (EPROM). The current release of SCOL is implemented in BASIC, for a control system based on low power 8-bit microprocessor. © 1981.

关键词： High-Level languages Microprocessors process control languages process control Systems Real-Time

来源：评论

学校读者我要写书评

暂无评论

Specification and Verification of the KORSO Production Cell

引用

IFAC Proceedings Volumes 1998年第15期31卷 165-170页

作者： Dominique L'Her Jean-Lue Scharbarg Philippe Le Parc Jean Vareille Lionel Marcé Département d'Informatique Université de Bretagne Occidentale Projet LIMI (Langages et Interfaces pour Machines Intelligentes) E.A.M.E.S.R. 2215 6 Av.V.Le Gorgeu BP 809 29285 Brest cedex

In this paper, we present an average size production cell. We show how this cell can be controlled with Grafcet and explain how properties can be verified on the cell using timed automata and TCTL logic. We present so... 详细信息

关键词： Formal verification process control languages safety analysis manufacturing systems temporal logic

来源：评论

学校读者我要写书评

暂无评论

Validation of a SFC Software Specification by Using Hybrid Automata

引用

IFAC Proceedings Volumes 1998年第15期31卷 107-112页

作者： George Hassapis Isabella Kotini Zoe Doulgeri Dpt. of Electrical and Computer Engineering Aristotle University of Thessaloniki 540 06 Thessaloniki Greece

The problem of validating the specification of the control software of a simplified chemical reactor, expressed in the Sequential Function Chart(SFC) notation, is addressed in this work. Through this case study it is demonstrated a way of converting the SFC description to that of a Hybrid Automata System(HAS) and validating properties of the described system by integrating already available results in the theol)' of Hybrid Automata. Then, by synchronizing this HAS description with a HAS model of the controlled process and applying an algorithmic solution to the reachability problem of the combined HAS descriptions, it becomes possible to infer the satisfaction of the system properties that the equivalent SFC specifies.

关键词： Software Engineering Programmable controllers Formal Methods process control languages

来源：评论

学校读者我要写书评

暂无评论

A Micro Kernel Model for the Implementation of a General Class of Robot control Architectures

引用

IFAC Proceedings Volumes 1998年第3期31卷 39-44页

作者： F. Vegara E. Bonet J. Domingo X. Benavent J. Pelechallo Instituto de Robótica Univ. de Valencia C./ Hugo de Moncada 4 46010-VALENCIA (SPAIN) Fax: (34)-6-3616198

The majority of the different robot control architectures proposed, specially those applied to mobile robots, are based on the appropriate firing and suspension of different elementary or complex tasks, usually encapsulated in modules, according to events originated externally or to signals from other modules. The substantial difference amongst them is the firing order and the rank of priorities amongst modules. This work proposes a micro kernel design specifically thought for mobile robot applications that is able to implement a quite general kind of architecture through the use of a round-robin micro kernel with on-line variable sharing (time percents assigned to each process). It is shown how different proposed architectures fit into this model, and how they can he implemented with either a static assignment or a dynamic variation of the sharings. The self-built mobile robot on which these ideas have been tested is also briefly described.

关键词： Robot control Architectures process control languages Autonomous Mobile Robots

来源：评论

学校读者我要写书评

暂无评论

Integrated control and Diagnosis of Sequential processes

引用

IFAC Proceedings Volumes 1995年第12期28卷 95-100页

作者： Karl-Erik Årzén Department of Automatic Control Lund Institute of Technology Box 118 S-221 00 Lund Sweden

It is shown how DMP, a model-based on-line diagnosis can be combined with Grafchart, a Grafcet, or SFC toolbox. This gives a convenient way of structuring on-line diagnosis of mode-changing processes where the process model is different in the different operating modes. It is also an example of how diagnosis can be integrated with sequence control logic. The approach is exemplified on a real-time simulation model of a ultra high temperature sterilization process.

关键词： Fault diagnosis Sequential control Petri-nets Models process control languages

来源：评论

学校读者我要写书评

暂无评论

PEARL-Coded Function Block Diagrams — From Language Design to Verification

引用

IFAC-PapersOnLine 2015年第10期48卷 258-263页

作者： Christina Houben Chair of Computer Engineering Fern Universität in Hagen Germany

Highly safety-critical applications require designated development processes that foster verifiability by design. A constructive method to prevent introducing systematic errors into software is to use simple but expressive language elements. Therefore, this paper defines a fusion of function block diagrams and the real-time programming language PEARL in order to support the development and verification process of highly safety-critical programs.

关键词： process control languages Verification Safety-Critical Engineering Software

来源：评论

学校读者我要写书评

暂无评论

COMBINING UML WITH IEC 61131-3 languages TO PRESERVE THE USABILITY OF GRAPHICAL NOTATIONS IN THE SOFTWARE DEVELOPMENT OF COMPLEX AUTOMATION SYSTEMS

引用

IFAC Proceedings Volumes 2007年第16期40卷 90-94页

作者： Uwe Katzke Birgit Vogel-Heuser Member IEEE University of Kassel Germany

The visual presentation of the software standard IEC 61131-3 for embedded automation systems can hardly impart the structures of complex solutions. The UML as an alternative presentation from conventional software is confusing the engineers of this domain, as it contains many diagrams and notation details, which are designed for other purposes. The UML for process Automation (UML-PA) offers a customized subset of the UML, which simplifies the graphical structure of the UML. Ambiguous notations elements of the UML are supplemented or cleared. UML-PA refers to IEC 1131-3 behavior specifications to offer skilled familiar notations within the framework of new structures.

关键词： problem-oriented languages process control languages control engineering control system design modeling programming approaches object modeling techniques

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：