IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....The mthcmaticl treatment in [19] admits a more complex representation of actors than the one we use. manufacturing systems [32] They occur frequently and naturally in many con texts and, because of this, they have received substantial attention by both computer scientists and control theorists [1, 2, 11, 28]. From a general, intuitive perspective, any system characterized by discrete transitions between modes of continuous control is a hybrid system. This includes several kinds of systems that emerge in animation, from physical modeling of objects in a dynamic environment to agent steering. There ....

IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.

....G. Lafferriere is with Portland State University, Portland, OR 97207 USA (e mail: gerardo mth.pdx.edu) Publisher Item Identifier S 0018 9219(00)06460 4. 53] Their wide applicability has inspired a great deal of research from both control theory and theoretical computer science [1], 2] 7] 9] 10] 29] 31] 52] 75] Many of the above motivating applications are safety critical and require guarantees of safe operation. Consequently, much research focuses on formal analysis and design of hybrid systems. Formal analysis of hybrid systems is concerned with ....

IEEE Trans. Automat. Contr., vol. 43, no. 4, Apr. 1998. Special Issue on Hybrid Systems.

.... embedded automotive controllers [12, 59] manufacturing systems [64] chemical processes [28] robotics [6, 71] real time communication networks, and realtime circuits [53] Their wide applicability has inspired a great deal of research from both control theory and theoretical computer science [1, 2, 7, 9, 10, 29, 31, 52, 75]. Many of the above motivating applications are safety critical, and require guarantees of safe operation. Consequently, much research focuses on formal analysis and design of hybrid systems. Formal analysis of hybrid systems is concerned with verifying whether a hybrid system satisfies a desired ....

....stays true forever. A transition system T satisfies an LTL formula OE if all words in the language L(T ) satisfy OE. For example, if is a proposition encoding an unsafe region, then safety can be simply expressed as 2: or equivalently, as :3. The more elaborate requirement that visiting region [[ 1 ]] will eventually be followed by visiting region [ 2 ] is expressed by the formula 2( 1 ) 3 2 ) Problem 2.5 (LTL Model Checking Problem) Given a transition system T and an LTL formula OE, determine if T satisfies OE. Since reachability can be expressed by an LTL formula of the form 3, it is ....

IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.

....applications, such as automated highway systems, air traffic management systems, manufacturing systems, robotics, real time communication networks, and real time circuits. Their wide applicability has inspired a great deal of research from both control theory and theoretical computer science [1, 2, 7, 9, 10, 14, 16, 25, 34]. Many of the above motivating applications are safety critical, and require guarantees of safe operation. Given a hybrid model of the system, and a desired specification, like avoiding a region of the state space, formal analysis attempts to prove that the system satisfies the specification. The ....

IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.

No context found.

IEEE Transactions on Automatic Control, vol. 43, no. 4, Apr. 1998. Special Issue on Hybrid Systems.

....cation, perturbation analysis, and computer simulation. Furthermore, special mathematical analysis techniques have been developed for speci c subclasses of hybrid systems. We shall only discuss some of these methods. For more information on the other methods the interested reader is referred to [5, 6, 32, 34, 56] and the references cited therein. 2 1.2 Model classes and analysis tools Hybrid system models typically represent large plants, consisting of many interacting modules. The interaction between modules can be via common discrete variables, or via common continuous variables, or via both discrete ....

IEEE Transactions on Automatic Control, vol. 43, no. 4, Apr. 1998. Special Issue on Hybrid Systems.

....modes whereby in each mode the behavior of the system can be described by a system of difference or differential equations, and that the system switches from one mode to another due to the occurrence of events. There are many frameworks to model, analyze and control hybrid systems (see, e.g. [1, 2, 6]) We shall consider a special class of hybrid systems that can be analyzed using a special mathematical programming problem that is called the extended linear complementarity problem (ELCP) This paper is organized as follows. In Section 2 we introduce the class of first order linear hybrid ....

IEEE Transactions on Automatic Control, vol. 43, no. 4, Apr. 1998. Special Issue on Hybrid Systems.

No context found.

IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, 43(4), April 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC