The proceedings contain 22 papers. The special focus in this conference is on Theoretical Aspects of Computing. The topics include: Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny;jump C...
ISBN:
(纸本)9783031770180
The proceedings contain 22 papers. The special focus in this conference is on Theoretical Aspects of Computing. The topics include: Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny;jump Complexity of Deterministic Finite Automata with Translucent Letters;learning Closed Signal Flow Graphs;dual Adjunction Between Ω-Automata and Wilke Algebra Quotients;on Concurrent Program Algebra and Demonic Automata;bisimulations and Logics for Higher-Dimensional Automata;maximizing Weighted Dominance in the Plane;generalized Parikh Matrices for Tracking Subsequence Occurrences;card-Based Protocols with Single-Card Encoding;winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient control;disconnection Rules are Complete for Chemical Reactions;verification with Common Knowledge of Rationality for Graph Games;reversibility in Process Calculi with Nondeterminism and Probabilities;a Theory of Proc-Omata—and Proof Methods for Process Architectures;Formal Foundations for Efficient simulation of MOM Systems: The Refinement Calculus for object-oriented Event-Graphs;type Safety for Isabelle/Solidity;history-Based Reasoning About Behavioral Subtyping;switched Systems in Coq for Modeling Periodic controllers;A Quantum-Inspired Mechanical Method for Proving of Ramsey’s Theorem by Symbolic Computation over the Finite Field GF(2);runtime Enforcement with Event Reordering.
The proceedings contains 10 papers. Topics discussed include computer aided control system design, object-oriented integrated environment for CACSD tools, ANDECS framework for modelling and simulation, real-time contr...
详细信息
The proceedings contains 10 papers. Topics discussed include computer aided control system design, object-oriented integrated environment for CACSD tools, ANDECS framework for modelling and simulation, real-time control system design, control and computer aided engineering, knowledge acquisition, objectoriented interface to MATLAB, and hybrid modelling and simulation for process integration and control.
The main aim of this paper is to present an understanding of the nature, purpose and future developments in intelligent object-oriented modelling arising from a research project being carried out by the control and Co...
详细信息
The main aim of this paper is to present an understanding of the nature, purpose and future developments in intelligent object-oriented modelling arising from a research project being carried out by the control and Computer Aided Engineering (CCAE) research group at Swansea. Three important concepts for engineering modelling are emphasised: the independence of modelling from simulation;the object-oriented paradigm;knowledge-based systems. It is argued that intelligent technologies are natural tools for multidisciplinary engineering applications and are not only suited to qualitative approaches but also to quantitative methodologies.
Experiences on the development of an advanced control system using the object-oriented programming (OOP) language Smalltalk-80 revealed that the language has many powerful features for rapid prototyping and simulating...
详细信息
Experiences on the development of an advanced control system using the object-oriented programming (OOP) language Smalltalk-80 revealed that the language has many powerful features for rapid prototyping and simulating advanced control systems, especially those involving intelligent features. In the development of an intelligent system identification supervisor (ISIS), Smalltalk-80 proved very suitable for incorporation into control-orientedsimulation languages. Smalltalk 80's advantage lies in its portability, productivity, user interface and language. An overview of the development of ISIS is presented and the disadvantages of the language are described.
This paper reports and evaluates the experience of applying object-oriented techniques to the development of a real-time system for monitoring and control of remote sites. The system, which is currently installed at s...
详细信息
This paper reports and evaluates the experience of applying object-oriented techniques to the development of a real-time system for monitoring and control of remote sites. The system, which is currently installed at several sites in the UK and elsewhere in Europe, also includes database management functions and an interactive operator interface. It was originally designed in 1987 and has evolved in an incremental fashion to the present day. The paper focuses on the object-oriented aspects of the system architecture and on the development process model. Together they provide a technical and organisational framework for projects of similar nature. The pros and cons of the solutions adopted are discussed.
In a recent article it was stated that the move to object-oriented design represents a real change in point of view - a change of paradigm - that brings with it an enormous increase in expressive power. In this paper ...
详细信息
In a recent article it was stated that the move to object-oriented design represents a real change in point of view - a change of paradigm - that brings with it an enormous increase in expressive power. In this paper a background for object-oriented design is presented and related to some ideas about programming languages.
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system...
详细信息
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system for the manufacture of rivets.
The central concept of the work described in this paper is that a database can be created which contains all the information about a complex engineering system specifically a Building Management System (BMS). This dat...
详细信息
The central concept of the work described in this paper is that a database can be created which contains all the information about a complex engineering system specifically a Building Management System (BMS). This database will be updated and modified throughout the system lifecycle. Due to the large amount of information required to be entered into these databases all data entry is done through graphical interfaces according to the maxim 'A picture is worth ten thousand words'. The user draws a picture of what is required, and this is then compiled into the desired database form.
暂无评论