PhD seminar - Mohammad Hadi ZibaeenejadExport this event to calendar

Monday, May 5, 2014 — 5:00 PM EDT

Candidate

Mohammad Hadi Zibaeenejad

Title

Analysis of Parameterized Networks

Supervisor

John Thistle

Abstract

Networks with arbitrarily large numbers of isomorphic subprocesses appear in areas such as computer software and hardware, transportation networks and manufacturing systems. Parameterized discrete event systems (PDES) provide a framework for modeling these networks. This modeling is specifically useful when the number of subprocesses is arbitrary, unknown or time-varying. Unfortunately, some key properties of these networks, such as nonblocking and deadlock-freedom, are undecidable. To support the analysis of nondeterministic PDES, we introduce a novel mathematical tool: weak invariant simulation. We use this simulation relation to define a tractable subclass of parameterized ring networks of isomorphic subprocesses in which all the reachable deadlocked states can be calculated. Two examples is given to illustrate the usage of the proposed framework.

Location 
DC building
Room 1301

,

S M T W T F S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
  1. 2019 (217)
    1. December (1)
    2. November (1)
    3. October (4)
    4. September (21)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  2. 2018 (150)
    1. December (13)
    2. November (25)
    3. October (12)
    4. September (13)
    5. August (7)
    6. July (23)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
  7. 2013 (192)
  8. 2012 (31)