Publication

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

Publications associées (9)

Data-driven and Safe Networked Control with Applications to Microgrids

Today, automatic control is integrated into a wide spectrum of real-world systems such as electrical grids and transportation networks. Many of these systems comprise numerous interconnected agents, perform safety-critical operations, or generate large amo ...

EPFL2022

Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks

Amir Aminifar

Today, it is common knowledge in the cyber-physical systems domain that the tight interaction between the cyber and physical elements provides the possibility of substantially improving the performance of these systems that is otherwise impossible. On the ...

ASSOC COMPUTING MACHINERY2020

Exact Synthesis of Majority-Inverter Graphs and Its Applications

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

We propose effective algorithms for exact synthesis of Boolean logic networks using satisfiability modulo theories (SMT) solvers. Since exact synthesis is a difficult problem, it can only be applied efficiently to very small functions, having up to 6 varia ...

Ieee-Inst Electrical Electronics Engineers Inc2017

Reliable and Real-Time Distributed Abstractions

David Kozhaya

The celebrated distributed computing approach for building systems and services using multiple machines continues to expand to new domains. Computation devices nowadays have additional sensing and communication capabilities, while becoming, at the same tim ...

EPFL2016

Optimizing Majority-Inverter Graphs with Functional Hashing

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

A Majority-Inverter Graph (MIG) is a recently introduced logic representation form whose algebraic and Boolean properties allow for efficient logic optimization. In particular, when considering logic depth reduction, MIG algorithms obtained signific ...

IEEE2016

Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications

Amir Aminifar

With cyber-physical systems opening to the outside world, security can no longer be considered a secondary issue. One of the key aspects in security of cyber-phyiscal systems is to deal with intrusions. In this paper, we highlight the several unique proper ...

Assoc Computing Machinery2016

Advanced Control of Active Distribution Networks Integrating Dispersed Energy Storage Systems

Maryam Bahramipanah

Due to the increased penetration of Distributed Generations (DGs) in distribution networks, the system control and operation may become quite different from the case of traditional network. Most DGs can only provide intermittent power to the Active Distrib ...

EPFL2016

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Philippe Paul Henri Suter, Robin Steiger, Viktor Kuncak

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Clinical pharmacokinetic studies of photofrin by fluorescence spectroscopy in the oral cavity, the esophagus, and the bronchi

Hubert van den Bergh, Georges Wagnières

Background. To optimize photodynamic therapy (PDT) and photodetection of cancer, two important variables that must be considered are the uptake of the dye and the dye contrast between normal and neoplastic tissue after injection. Methods. To study these va ...

1995