This paper is about control analysis, synthesis and verification of hybrid controlsystems (HCSs). Two kind of I/O automata are presented for modeling the extended plant of HCSs. DES I/O automata are defined by additi...
详细信息
ISBN:
(纸本)0780330323
This paper is about control analysis, synthesis and verification of hybrid controlsystems (HCSs). Two kind of I/O automata are presented for modeling the extended plant of HCSs. DES I/O automata are defined by additionally introducing control alphabet, input and output events. Timed I/O automata are defined based on DES I/O automata by taking time delay into consideration. The decision-maker can be synthesised by using the proposed models. Some rules are presented for partial verification of correctness of the design. An inverted pendulum is used to illustrate our modeling techniques and proposed methods for control synthesis and verification.
A Matlab toolkit for finding periodic modes in relay controlsystems is described which has an excellent GUI and graphical facilities, and allows the user to analyse complex behaviours such as multi-pulse oscillations...
详细信息
A Matlab toolkit for finding periodic modes in relay controlsystems is described which has an excellent GUI and graphical facilities, and allows the user to analyse complex behaviours such as multi-pulse oscillations. Graphical and analytical tools for finding the parameters of the limit cycles, their stability and waveforms are provided.
We describe a comprehensive CACSD (computer-aidedcontrol system design) package called SYMCON (SYMbolic computation controller), for the design of multivariable discrete-time controlsystems using the polynomial equa...
详细信息
We describe a comprehensive CACSD (computer-aidedcontrol system design) package called SYMCON (SYMbolic computation controller), for the design of multivariable discrete-time controlsystems using the polynomial equation approach. It covers the design of all the well-established discrete-time control schemes. The package is useful for the design of stable, robust, linear quadratic Gaussian controllers. It can be used on all MapleV-supported platforms.
In this paper, a methodology for the design of microelectronic systems which include hardware and software for open-loop and closed-loop control will be presented. An integrated approach to specification and design, a...
详细信息
In this paper, a methodology for the design of microelectronic systems which include hardware and software for open-loop and closed-loop control will be presented. An integrated approach to specification and design, analysis and simulation of the overall system has been developed. This provides for a systematic, computeraided approach to requirements definition, specification and design as well as verification and validation of the results. As embedded systems often require real-time capabilities, the environment presented gives special consideration to these constraints. For verification purpose of the developed design and specification methodology a software prototype has been implemented and used in concrete example applications, which is also presented in this paper.
Recently, it has been proposed that the integration of traditional computeraided Software/systems Engineering (CASE) and computeraidedcontrolsystemsdesign (CACSD) tools would provide improved hybrid systems devel...
详细信息
Recently, it has been proposed that the integration of traditional computeraided Software/systems Engineering (CASE) and computeraidedcontrolsystemsdesign (CACSD) tools would provide improved hybrid systems development support for the automotive powertrain control community. In this paper, we present the application of two new CASE/CACSD products to a simplified powertrain system model. These two tools are (1) a co-code generation interface between the CASE modeling tool Statemate and the CACSD tool MATRIX and (2) structured and hybrid modeling extensions to MATLAB and SIMULINK. A discussion of each tool's capabilities and limitations, in the context of automotive powertrain control, is included.
This paper describes ISMuS (Information System to support the development of digital simulation models for Multibody systems), which is the Netherlands' National Aerospace Laboratory's (NLR's) working envi...
详细信息
This paper describes ISMuS (Information System to support the development of digital simulation models for Multibody systems), which is the Netherlands' National Aerospace Laboratory's (NLR's) working environment for computer-aidedcontrol engineering (CACE). ISMuS provides via a graphical user interface for transparent access to a collection of CACE tools and information management tools on a network of computers.
We present a new expert-system "front end" or design advisor for implementing systems (DAIS) for use in conjunction with a commercial digital control system environment, e.g., the Elsag Bailey INFI 90 System...
详细信息
We present a new expert-system "front end" or design advisor for implementing systems (DAIS) for use in conjunction with a commercial digital control system environment, e.g., the Elsag Bailey INFI 90 System. The objective of DAIS is to make it substantially easier for applications engineers to make effective use of the broad spectrum of capabilities of this and similar hardware and software systems for industrial controls implementation. This concept is of quite general applicability for industrial controls implementation environments.
The problems of designing mechatronic systems (e.g. heterogeneous system components and their design methods, complexity) cause the need for an open, integrated design environment. This paper details the process-orien...
详细信息
The problems of designing mechatronic systems (e.g. heterogeneous system components and their design methods, complexity) cause the need for an open, integrated design environment. This paper details the process-oriented approach of the software environment CAMeL (computer-aided Mechatronics Laboratory) to the integration of different tools and methods. Characteristic concepts and implementation features of experiments in this "laboratory in the computer" are presented. An example from the field of vehicle dynamics (vehicle convoy control) demonstrates typical experiments in the modelling, analysis and synthesis phases of the design cycle of mechatronic systems.
In this paper we describe a computational approach to the optimal output feedback control of multi-model systems by means of a unique constant output feedback matrix. Extension of the method to output feedback control...
详细信息
In this paper we describe a computational approach to the optimal output feedback control of multi-model systems by means of a unique constant output feedback matrix. Extension of the method to output feedback control of multi-model periodic systems is also presented. The power of the proposed approach is illustrated by the simultaneous stabilization and optimization of a helicopter multi-model.
暂无评论