Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control) - Image 1

£71.85

Springer Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)

Name: Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)
Brand: Springer
Price: 66.25 GBP
Availability: InStock

Amazon

Price History & Forecast

Last 46 days • 46 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 46 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £66 (45 days, 97.8%)

Price range: £66 - £72

Price levels: 2 different prices over 46 days

Description

"Modelling and Analysis of Hybrid Supervisory Systems" introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented. In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these – an HVAC management system, a landing system and a cane-sugar factory – are discussed at length.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1846286506
Category: Books > Subjects > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
Domain: Amazon UK
Release Date: 02 January 2007
Listed Since: 23 January 2007

Barcode

No barcode data available

Springer Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Springer - Model-based Process Supervision: A Bond Graph Approach

Discrete, Continuous, and Hybrid Petri Nets

Hybrid Modeling and Simulation: Conceptualizations, Methods and Applications (Simulation Foundations, Methods and Applications)

Process Plant Operating Procedures: Synthesis, Simulation and Abnormal Situation Management (Advances in Industrial Control)

Process Modelling for Control: A Unified Framework Using Standard Black-box Techniques (Advances in Industrial Control)

Supervision of Petri Nets: 13 (The International Series on Discrete Event Dynamic Systems, 13)

Formal Methods in Manufacturing (Industrial Information Technology)

Process Plant Operating Procedures: Synthesis, Simulation and Abnormal Situation Management (Advances in Industrial Control)

Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6

Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research (Springer Theses)

Model Predictive Control in the Process Industry (Advances in Industrial Control)

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Supervisory Control of Discrete Event Systems Using Petri Nets: 8 (The International Series on Discrete Event Dynamic Systems, 8)

Hybrid Dynamical Systems: An Introduction to Control and Verification (Foundations and Trends® in Systems and Control)

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

Hybrid System Identification: Theory and Algorithms for Learning Switching Models: 478 (Lecture Notes in Control and Information Sciences, 478)

Hybrid System Identification: Theory and Algorithms for Learning Switching Models: 478 (Lecture Notes in Control and Information Sciences, 478)

Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques (Advances in Industrial Control)

Hybrid Modeling in Process Industries

Optimal Supervisory Control of Automated Manufacturing Systems

Modelling, State Observation and Diagnosis of Quantised Systems: 282 (Lecture Notes in Control and Information Sciences, 282)

Cambridge Handbook of Hybrid Systems Control - Academic Book

Model-based Health Monitoring of Hybrid Systems