Control Using Logic-Based Switching by A.Stephen Morse

By A.Stephen Morse

A logic-based switching controller is one whose subsystems contain not just wide-spread dynamical elements reminiscent of integrators, summers, profits and so on. yet event-driven good judgment and linked switches besides. In one of these approach the predominantly logical part is the manager, mode changer, and so on. there was transforming into curiosity in recent times in picking out what might be received from applying "hybrid" controllers of this sort. To this finish a workshop used to be hung on Block Island with the purpose of bringing jointly participants to debate the examine and customary curiosity within the box. This quantity not just contains contributions from those that have been current at Block Island but in addition extra fabric from those that weren't. issues coated contain: hybrid dynamical platforms, keep watch over of hard-bound restricted and nonlinear structures, car difficulties concerning switching regulate and procedure keep an eye on within the face of large-scale modeling error.

Show description

Read or Download Control Using Logic-Based Switching PDF

Best robotics & automation books

Control System Dynamics

Computerized keep an eye on structures became crucial positive factors in almost each sector of know-how, from computing device instruments to aerospace autos. This booklet is a finished, in actual fact written creation to computerized regulate engineering. the writer starts with the basics of modeling mechanical, electric, and electromechanical structures within the nation variable layout.

Modal Interval Analysis: New Tools for Numerical Information

This ebook offers an leading edge new method of period research. Modal period research (MIA) is an try to transcend the restrictions of vintage periods by way of their structural, algebraic and logical positive aspects. the start line of MIA is sort of basic: It is composed in defining a modal period that attaches a quantifier to a classical period and in introducing the fundamental relation of inclusion among modal periods in the course of the inclusion of the units of predicates they settle for.

Modern Control Engineering

This complete remedy of the research and layout of continuous-time keep an eye on platforms offers a gentle improvement of keep watch over theory-and exhibits the right way to clear up all computational issues of MATLAB. It avoids hugely mathematical arguments, and contours an abundance of examples and labored difficulties through the publication.

A Practical Guide to Averaging Functions

This booklet deals an easy-to-use and practice-oriented reference consultant to mathematical averages. It provides other ways of aggregating enter values given on a numerical scale, and of selecting and/or developing aggregating capabilities for particular functions. development on a prior monograph through Beliakov et al.

Additional info for Control Using Logic-Based Switching

Sample text

Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994. [11] W-T. Chang, A. Kalavade, and E. Lee. Effective heterogeneous design and co-simulation. In G. De Micheli, editor, Nato Advanced Study Institute. Kluwer Academic Publisher, 1996. E. Caines and Y-J Wei. Hierarchical hybrid control systems. In S. Morse, editor, this book. Springer-Verlag, 1996. [13] J. B. Dennis. First version data flow procedure language. Technical Report MAC TM61, Massachusetts Institute of Technology, May 1975.

The main result concerning data flow networks, which is directly connected with the blocking read communication mechanism, is their determinacy. , by never scheduling a process with non-empty input buffers). 7Networks in which this choiceis not possible are called synchronous in [6]. 2 33 Formal Verification Formal verification aims at proving properties of the design that are true independent of input choice, while simulation is as good as the test inputs that are fed to the simulator. The design and the properties to be verified have to be specified in formal terms, using some of the models described in the previous section.

In passim I would like to point out that these methods are not a substitute for a well formed theory. If indeed some general properties of a control algorithm can be proven, it is a waste of time and effort to try to use the expensive procedures needed for formal verification. In some sense, formal verification is a brute force approach and should be used only when necessary and possible. I believe that the finite abstraction is key for the successful application of formal verification to the validation of embedded controllers.

Download PDF sample

Rated 4.95 of 5 – based on 24 votes