Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach

Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Paperback)

Printed to order. Despatched in 2-3 weeks.
Email me when back in stock


This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.

TechnicalElectronics & communications engineeringElectronics engineeringAutomatic control engineering Publisher: Springer London Ltd Publication Date: 21/10/2010 ISBN-13: 9781849966375  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

Emilia 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.

More books by Emilia Villani

More books by Paulo Eigi Miyagi

More books by Robert Valette

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

PID Control with Intelligent...
Wen Yu
Friendship, Robots, and Social Media:...
Alexis M. Elder
Home Robotics: Maker-Inspired ...
Daniel Knox
RFID Protocol Design, Optimization,...
Alex X. Liu; Muhammad Shahzad; ...
Latest Blog
The Mexican--US Border: Where the Imagination Flourishes…

Tim Baker reflects on the literary impact of the Mexican-US border and lists some of his favourite novels set in this notorious region.

Johann Hari Takes Issue with the Concept of Self-Help

Johann Hari explains why, in order to feel better, we must stop being 'you', in favour of being 'us', being 'we', becoming part of the group.

Jealousy, Rivalry, Insecurity, Frustration... Non Pratt Explores the World of Female Teenage Friendships

Non explores friendship in YA novels and especially those that depict the imperfect middle ground.

View all Blog Entries
Show/Hide Tweets
© W&G Foyle Ltd