Catalog > Scienza > Tecnica > Elettronica, ingegneria elettrica, telecomunicazioni > Naijun Zhan & Shuling Wang: Formal Verification of Simulink/Stateflow Diagrams (PDF)

Naijun Zhan & Shuling Wang
Formal Verification of Simulink/Stateflow Diagrams [PDF ebook]
A Deductive Approach

Supporto

Copertina di Naijun Zhan & Shuling Wang: Formal Verification of Simulink/Stateflow Diagrams (PDF)

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas abou...

€117.69

Tabella dei contenuti

1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and Its Combination with Simulink.- 6 Hybrid CSP.- 7 Hybrid...

Circa l’autore

Dr. Naijun Zhan is a research professor at State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences. He obtained Ph D in computer scienc...

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● Pagine 258 ● ISBN 9783319470160 ● Dimensione 4.4 MB ● Casa editrice Springer International Publishing ● Città Cham ● Paese CH ● Pubblicato 2016 ● Scaricabile 24 mesi ● Moneta EUR ● ID 5008538 ● Protezione dalla copia DRM sociale

Altri ebook dello stesso autore / Editore

Naijun Zhan Shuling Wang Hengjun Zhao

18.931 Ebook in questa categoria

Copertina di Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Copertina di S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

Copertina di Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

Copertina di J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

Copertina di Thomas Sikina: Introduction to Active Phased Arrays

Thomas Sikina: Introduction to Active Phased Arrays

Written by a renowned expert in the field, this book presents the fundamentals of phased array systems, including contemporary and advanced methods. It features applications ranging from advanced and …

Copertina di Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Copertina di Spyros G. Tzafestas: Intelligent Robotic Systems

Spyros G. Tzafestas: Intelligent Robotic Systems

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …

Copertina di Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Copertina di Chiranji Lal Chowdhary: Intelligent Systems

Chiranji Lal Chowdhary: Intelligent Systems

This volume helps to fill the gap between data analytics, image processing, and soft computing practices. Soft computing methods are used to focus on data analytics and image processing to develop go …

Copertina di Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …