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

Hybrid specification and implementation of an aircraft engine controller

IFAC Proceedings Volumes 1999年第2期32卷 8734-8739页

作者： Julian M. Bass Mohamed S. Hajji Peter J. Fleming School of Electronic Engineering and Computer Systems University of Wales Bangor Dean Street Bangor Gwynedd UK Tel: + 44 (0)1248 382793 Fax: + 44 (0)1248 361429 Dept. of Automatic Control and Systems Engineering University of Sheffield UK

control of a gas-turbine engine requires management of continuous and discrete (state-event) behaviour. A design environment- the Development Framework, is used to define both the continuous and discrete aspects of a turbine engine controller. The approach uses purpose-built software translation tools to capture the system's specification from commercial simulation tools. A unified design model based on a data flow notation, comprising both continuous and state-event behaviour is automatically generated. Specification and design models of selected gas-turbine engine controller subsystems are presented. The complexity of the application suggests that the approach can be used for industrial scale projects.

关键词： continuous systems discrete-event systems design systems software specification software engineering

来源：评论

学校读者我要写书评

暂无评论

An integrated framework for development of real-time distributed control software based on can-bus

引用

IFAC Proceedings Volumes 1999年第2期32卷 8710-8715页

作者： Marga M. Marcos Julian M. Bass Javier Portillo P.J. Fleming Dept Ingenierie'a de Sistemas y Automática Univ. of the Basque Country Spain Tel -34 94 4 2 7 80 55 Fax 34 94 441 40 41 School of Electronic Engineering and Computer Science Univ. of Wales Bangor UK Dept. of Automatic Control and Systems Eng. Univ. of Sheffield UK Associate Professor in Control Engineering

Embedded systems are computer-based systems which must respond to external stimuli within time scales determined by the external environment. Such systems are required to achieve ever more demanding behavioural. performance and safety requirements. Embedded systems are found in applications such as primary flight control, gas-turbine engine control and railway traffic management Often complex embedded systems are distributed, typically to achieve demanding performance or dependability requirements, and must operate within hard real-time constraints. Considerable effort is required to select optimal design solutions and ensure adherence to specified requirements. In embedded systems safety, reliability and response-times are considered as strict constraints on the system design. Achievement of these constraints requires meticulous analysis, typically through the use of specialist modelling and simulation techniques. Integration of knowledge and understanding obtained from disparate detailed models remains a considerable challenge. Ideally, a system which has both continuous dynamics and event-driven parts. would be modelled in one environment, using the most appropriate techniques for each part, and allowing the analysis of the whole system to be carried out simultaneously. The paper presents an integrated approach in order to translate automatically the information manipulated during the different phases of the design: specification. analysis, design and implementation.

关键词： Distributed computer control systems state charts real time systems software tools fieldbus

来源：评论

学校读者我要写书评

暂无评论

Stepwise selection of perceptual texture features 7th

引用

7th Joint IAPR International Workshop on Structural and Syntactic Pattern Recognition, SSPR 1998 and 2nd International Workshop on Statistical Techniques in Pattern Recognition, SPR 1998

作者： Grau, Antoni Aranda, Joan Climent, Joan Dept. Of Computer Engineering and Automatic Control Polytechnic University of Catalonia Spain

ISBN: (纸本)3540648585

In computer vision, texture plays an important role. In this work we propose five human perceptual texture features heuristically extracted. Since a modeling can not be obtained from these features, we use a discriminant analysis technique to examine the discriminant power of each texture descriptor in order to select the most relevant. This task is done by a stepwise inclusion of variables indicating, furthermore, whether all of them are valuable and necessary producing a set of optimal discriminant variables. These selection procedures have been tested using Brodatz texture images, a benchmark in texture analysis. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Discriminant analysis

来源：评论

学校读者我要写书评

暂无评论

Improved textured images segmentation using an energy functional 9th

Improved textured images segmentation using an energy functi...

引用

9th International Conference on Image Analysis and Processing, ICIAP 1997

作者： Grau, Antoni Saludes, Jordi Dept. of Automatic Control and Computer Engineering Polytechnic University of Catalonia UPC Barcelona Catalonia Spain Dept. of Applied Mathematics II Polytechnic University of Catalonia UPC Barcelona Catalonia Spain

ISBN: (纸本)3540635076

In this paper we present a new classification and image segmentation system based on the addition of a variational method to a classic clustering algorithm. This system constitutes an improvement respect traditional segmentation methods. Often due to the nature of the texture features obtained from an image, the segmentation results are not quite precise. If this happens, using the energy functional and its minimization can improve the segmentation. This functional takes into account the information in the feature space and the information in the 2D image domain. The extracted characteristics from the image are texture features that have been defined in order to obtain an admissible trade-off between their discriminant capacity and their effectiveness to be implemented in a vision board to operate at real time. We show some results to appreciate this improvement in the segmentation using the energy functional. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

A Prototype Development Framework for Hybrid control System Design

引用

IFAC Proceedings Volumes 1996年第1期29卷 7296-7301页

作者： M.S. Hajji A.R. Browne J.M. Bass P. Schroder P.R. Croll P.J. Fleming Dept. of Automatic Control and Systems Engineering University of Sheffield UK. Dept. of Computer Science University of Sheffield UK. Tel: +44-114-282-5236 Fax: +44-114-273-1729

Hybrid control systems are a combination of real-time control law and discrete-state logic. This paper describes how a Development Framework for control systems software has been adapted so that it may also handle discrete events such as mode switching. The Framework provides a highly automated path from a control engineering specification to a distributed system implementation. Simulink, an extension to Matlab, is used to specify control laws, and a statecharts tool, Statemate, is used to specify and model discrete-state components. The design phase of the Development Framework supports the integration of the two sets of specification. An inverted pendulum control system is introduced as a simple example of a hybrid system implemented using the Framework. The translation of statecharts to dataflow notations is described for the example system. General translation rules are also presented.

关键词： Real-time systems parallel processing computer-aided control system design discrete-event systems

来源：评论

学校读者我要写书评

暂无评论

Switched bond graphs as front-end to formal verification of hybrid systems 5th

Switched bond graphs as front-end to formal verification of ...

引用

5th DIMACS/SYCON Workshop on Verification and control of Hybrid Systems, 1995

作者： Strömberg, Jan-Erik Nadjm-Tehrani, Simin Top, Jan L. Div. of Automatic Control Dept. of Electrical Engineering Linköping University LinköpingS-581 83 Sweden Dept. of Computer and Information Science Linköping University LinköpingS-581 83 Sweden Agrotechnological Research Institute ATO-DLO P.O. Box 17 WageningenNL-6700 Netherlands

ISBN: (纸本)354061155X

Formal verification of safety and timing properties of engineering systems is only meaningful if based on models which are systematically derived. In this paper we report on our experience using switched bond graphs for the modelling of hardware components in hybrid systems. We present the basic ideas underlying bond graphs in general and switched bond graphs in particular. Switched bond graphs are tailored for the modelling of physical systems undergoing abrupt structural changes. Such abrupt changes appear frequently in plants closed by discrete controllers. We illustrate our approach by means of an aircraft landing gear system and prove safety and timeliness properties using the proof system of extended duration calculus. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

From physical modelling to compositional models of hybrid systems 3rd

From physical modelling to compositional models of hybrid sy...

引用

3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994

作者： Nadjm-Tehrani, Simin Strömberg, Jan-Erik Dept. of Computer and Information Science Linköping University Sweden Div. of Automatic Control Dept. of Electrical Engineering Linköpmg Unversity LinköpingS-581 83 Sweden

ISBN: (纸本)9783540584681

By a hybrid system we mean a discrete controller in interaction with a physical environment. This paper discusses methodologies for incorporating physically grounded models in representations of hybrid systems. To this end, we study a driver support system, an example which includes unmodelled inputs. We consider models at different levels of abstraction. First, we show that discrete models of the environment can be obtained from the continuous models without losing relevant information. We do this using an analysis of the continuous state space. Dynamic Transition Systems (DTS) are used for the modular modelling at this level of abstraction. Next, we consider models using Hybrid Transition Systems (HTS). This can be seen as a modular version of timed transition systems ailowing both differential and algebraic equations in each mode. Finally, we comment on expressivity requirements on hybrid formalisms for modelling realistic physical systems. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

On the Computation of the Maximal Corank of a Covariance Matrix Under the Frisch Scheme

引用

IFAC Proceedings Volumes 1994年第8期27卷 1133-1135页

作者： R.P. Guidorzi A. Stoian University of Bologna Dept. of Electronics Systems and Computer Science Bologna Italy Polytechnic Institute of Bucharest Department of Automatic Control Bucharest Romania

A simple algorithm for establishing the presence of points common to some singularity (hyper)surfaces associated to covariance matrices is developed. It allows, on the basis of the new algebraic and geometric properties recently given by Guidorzi (1994), the computation of the maximal number of linear relations that can be associated to a given set of data.

关键词： Linear algebra Frisch scheme system identification parameter estimation linear systems

来源：评论

学校读者我要写书评

暂无评论

A Neural Network Approach to Failure Decision of Adaptively controlled Systems

引用

IFAC Proceedings Volumes 1994年第8期27卷 605-610页

作者： K. Kumamaru K. Inoue S. Nonaka H. Ono T. Söderström Dept of Control Eng. and Sci. Faculty of Computer Science and Systems Eng. Kyushu Institute of Technology Iizuka 820 Fukuoka Japan Dept. of Automatic Control and Systems Analysis Institute of Technology. Uppsala Unit. P. O. Box 27 Uppsala. Sweden

In this paper, a combined method of change detection and failure decision is proposed for the system under the adaptive control based on the self-tuning regulator. The controlled system is assumed encounter unexpected parameter changes, which may be caused by a failure or a normal operation. Such a system change can effectively be detected by using Fullback Discrimination Information (KDI) as an index for model discrimination. In order to decide whether the detected system change is caused by a failure or not, a neural network approach to failure decision is introduced. Based on the knowledge about failure modes and system operations, the regulator parameter variations after the change detection are used as training data for the network learning. In this way an on-line monitoring scheme of adaptively controlled systems can be established. Simulation studies of a second-order damped oscillator have been earned out to demonstrate the effectiveness of the method.

关键词： Adaptive control failure diagnosis Fullback discrimination information neural network parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Modelling and verification of hybrid systems: A case study 4

Modelling and verification of hybrid systems: A case study

引用

4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 1993

作者： Nadjm-Tehrani, S. Stromberg, J.-E. Dept. of Computer and Information Science Linkoping University LinkopingS-58183 Sweden Div. of Automatic Control Dept. of Electrical Engineering Linkoping University LinkopingS-58183 Sweden

ISBN: (纸本)0818640200

The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment is used. To use available methods within the field of software verification, discrete representations of the continuous components are described systematically. A nontrivial case study within the domain of road traffic is used to illustrate the derivation of discrete models without losing information relevant to the verification task. The different modeling stages involved are shown first within an untimed formalism, and then in a formalism incorporating quantitative time. © 1993 IEEE.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：