|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Emilia Villani , Paulo Eigi Miyagi , Robert ValettePublisher: Springer London Ltd Imprint: Springer London Ltd Edition: Softcover reprint of hardcover 1st ed. 2007 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.454kg ISBN: 9781849966375ISBN 10: 1849966370 Pages: 226 Publication Date: 21 October 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsModelling of Hybrid Systems.- Development of the Supervisory System.- Hybrid System Analysis.- Application 1: HVAC System.- Application 2: Landing System.- Application 3: Cane Sugar Factory.- Conclusion and Research Topics.ReviewsFrom the reviews: The book presents a unified approach to analysis and modeling of hybrid systems understood as those dynamics of which should be described by state variables of both continuous and discrete nature. The continuous variables are used to model standard process dynamics while the discrete ones are modified by abrupt changes in the dynamics. ! is clearly written and may be directed to students, researchers and academic staff as well as to industrial professionals working in this area. (A. Swierniak, Zentralblatt MATH, Vol. 1132 (10), 2008) From the reviews: The book presents a unified approach to analysis and modeling of hybrid systems understood as those dynamics of which should be described by state variables of both continuous and discrete nature. The continuous variables are used to model standard process dynamics while the discrete ones are modified by abrupt changes in the dynamics. ! is clearly written and may be directed to students, researchers and academic staff as well as to industrial professionals working in this area. (A. A wierniak, Zentralblatt MATH, Vol. 1132 (10), 2008) From the reviews: ""The book presents a unified approach to analysis and modeling of hybrid systems understood as those dynamics of which should be described by state variables of both continuous and discrete nature. The continuous variables are used to model standard process dynamics while the discrete ones are modified by abrupt changes in the dynamics. ! is clearly written and may be directed to students, researchers and academic staff as well as to industrial professionals working in this area."" (A. Swierniak, Zentralblatt MATH, Vol. 1132 (10), 2008) Author InformationEmilia Villani received her PhD degree from the University of Sao Paulo, Brazil, in 2004. She is currently an Assistant Professor at Instituto Tecnologico de Aeronautica. Her area of work is Industrial Automation. Paulo Eigi Miyagi received his Dr.Eng. degree from Tokyo Institute of Technology, Japan, in 1988 and L.Doc. degree from the University of Sao Paulo, Brazil, in 1993. He is currently a Professor at Escola Politecnica, the University of Sao Paulo, Brazil. His area of work is Mechatronics Systems and Industrial Automation. Robert Valette received his PhD degree from LAAS-CNRS and Universite Paul Sabatier, Toulouse, France, 1971. ""Docteur d'Etat"" from LAAS-CNRS and Universite Paul Sabatier, Toulouse, France, 1976. Currently ""Directeur de Recherche"" (Chief senior researcher) at LAAS-CNRS and supervisor for real-time and critical embedded system training within the Doctoral School (Ecole Doctorale) EDSYS, a common organization of Universite Paul Sabatier, INSA and Ecole Superieure de l'Aeronautique et de l'Espace in Toulouse. After many years devoted to the study of Discrete Event Systems represented by Petri nets and their application to the local and supervisory control of manufacturing systems Robert Valette's interest currently focuses on critical embedded systems. This involves the formal verification of properties of discrete event systems with timeliness constraints and, when the behaviour of the physical system controlled by computer has to be taken into account, the formal verification of properties of hybrid systems. Tab Content 6Author Website:Countries AvailableAll regions |