Partial order techniques for the analysis and synthesis of hybrid and embedded systems
Del Vecchio, D.
Decision and Control, 2007 46th IEEE Conference on
Volume , Issue , 12-14 Dec. 2007 Page(s):156 - 170
Digital Object Identifier   10.1109/CDC.2007.4435053
Summary:The objective of this tutorial is to introduce in a tutorial fashion the employment of partial order techniques for analysis and synthesis problems in hybrid systems. While familiar to computer scientists, partial order notions may be less familiar to a control audience. The session will present fundamental notions in partial order theory including the definition of a partial order, properties of maps, and complete partial order (CPO) fix point theorems. The application of these notions to hybrid systems will be illustrated for the synthesis of safety controllers, for the design of state estimators, for robust verification, and for the analysis of the dynamics. Finally, problems in the context of intelligent transportation will be introduced and the application of partial order tools will be discussed.

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.