Formal Modeling and Verification of Cyber-Physical Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Verification of Embedded Real-time Systems
3. Altmetric Badge
   Chapter 2 MARTE/CCSL for Modeling Cyber-Physical Systems
4. Altmetric Badge
   Chapter 3 An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis
5. Altmetric Badge
   Chapter 4 Model Checking and Model-Based Testing in the Railway Domain
6. Altmetric Badge
   Chapter 5 Modeling Unknown Values in Test and Verification
7. Altmetric Badge
   Chapter 6 Specification of Parametric Monitors
8. Altmetric Badge
   Chapter 7 Advances in Design Automation Techniques for Digital-Microfluidic Biochips
9. Altmetric Badge
   Chapter 8 Intuitive Interaction with Robots – Technical Approaches and Challenges
10. Altmetric Badge
    Chapter 9 Physical Safety in Robotics
11. Altmetric Badge
    Chapter 10 In-circuit Error Detection with Software-based Error Correction – An Alternative to TMR
12. Altmetric Badge
    Chapter 11 Behavior Driven Development for Tests and Verification
13. Altmetric Badge
    Chapter 12 Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations
14. Altmetric Badge
    Chapter 13 Constraint-based Handling of Component Networks
15. Altmetric Badge
    Chapter 14 Model-Based Testing Against Complex SysML Models
16. Altmetric Badge
    Chapter 15 Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing
17. Altmetric Badge
    Chapter 16 An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems
18. Altmetric Badge
    Chapter 17 Analyzing and Simulating Time Descriptions from UML/MARTE CCSL
19. Altmetric Badge
    Chapter 18 Design and Synthesis of Reversible Circuits using Hardware Description Languages
20. Altmetric Badge
    Chapter 19 Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot
21. Altmetric Badge
    Chapter 20 Development of Consistent Formal Models
22. Altmetric Badge
    Chapter 21 Formal Verification of Robustness
23. Altmetric Badge
    Chapter 22 Pose and Posture Estimation using Inertial Sensor Data
24. Altmetric Badge
    Chapter 23 Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing