Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

8 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Cyber Physical Systems. Design, Modeling, and Evaluation
Publisher	Lecture notes for computer science
Pages	132–146
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	conference - XV European Congress of Ichthyology Duration: 1 Jan 2015 → …

Conference	conference
Period	01/01/15 → …

Cite this

@inproceedings{d40013c22ec04de69750175ac4af2c01,

title = "Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations",

author = "Sanwal, \{Muhammad Usman\} and Osman Hasan",

year = "2015",

language = "Odefinierat/ok{\"a}nt",

pages = "132–146",

booktitle = "Cyber Physical Systems. Design, Modeling, and Evaluation",

publisher = "Lecture notes for computer science",

note = "conference ; Conference date: 01-01-2015",

}

Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations. / Sanwal, Muhammad Usman; Hasan, Osman.
Cyber Physical Systems. Design, Modeling, and Evaluation. Lecture notes for computer science, 2015. p. 132–146.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations

AU - Sanwal, Muhammad Usman

AU - Hasan, Osman

PY - 2015

Y1 - 2015

M3 - Publicerad konferensartikel

SP - 132

EP - 146

BT - Cyber Physical Systems. Design, Modeling, and Evaluation

PB - Lecture notes for computer science

T2 - conference

Y2 - 1 January 2015

ER -