2 papers
cs.DC2019
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS
Florian Hofer, Martin A. Sehr, Antonio Iannopollo +3
We explore the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or cloud computing platforms using off the shelf t…
cs.LO2018
A Metric for Linear Temporal Logic
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo +2
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the r…