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.

[img]
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:
IITH CreatorsORCiD
Item Type: Thesis (Masters)
Uncontrolled Keywords: Hybrid Automata, Modeling, Cyber Physical Systems, TD384
Subjects: Others > Electricity
Divisions: Department of Electrical Engineering
Depositing User: Library Staff
Date Deposited: 10 Jul 2015 06:46
Last Modified: 14 May 2019 11:13
URI: http://raiith.iith.ac.in/id/eprint/1685
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 1685 Statistics for this ePrint Item