Browsing by Author "Agathangelou, Chrysovalandis"
Now showing items 1-2 of 2
-
Conference Object
A distributed algorithm for gathering many fat mobile robots in the plane
Agathangelou, Chrysovalandis; Georgiou, Chryssis; Mavronicolas, Marios (2013)We revisit the problem of gathering autonomous robots in the plane. In particular, we consider non-transparent unit-disc robots (i.e., fat) in an asynchronous setting with vision as the only means of coordination and robots ...
-
Article
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
Agathangelou, Chrysovalandis; Georgiou, Chryssis; Papailiou, Ileana; Philippou, Anna; Pouis, Loucas; Tertytchny, G.; Vakana, Despina (2015)Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...