Modeling Cyber Physical Systems: A case study of Floodgate management system using Hybrid automata and State space analysis

Viyyapu, D P (2015) Modeling Cyber Physical Systems: A case study of Floodgate management system using Hybrid automata and State space analysis. Masters thesis, Indian Institute of Technology Hyderabad.

Preview

Text
EE12M1042.pdf - Submitted Version
Download (1MB) | Preview

Abstract

This thesis seeks methods for modelling cyber physical systems (CPSs) and the related issues. They enable innovation in a wide range of domains including robotics, smart homes, vehicles, and buildings, medical implants, and future-generation sensor networks. Advances in CPS will enable capability, adaptability, scalability, resiliency, safety, security, and usability that will far exceed the simple embedded systems of today. In this thesis two methods are used to model and analyze the flood gate management system (FMS). Specific technologies described include hybrid automata and State space analysis, the use of domain-specific ontologies to enhance modularity, and the joint modelling of functionality and implementation.

[error in script]

IITH Creators: