Yoshinari Takayama

Laboratoire

L2S

Site WEB

Publications (4)

Article dans une revue 01/11/2026

Runtime verifiable implementation of recurring switching rules via Signal Temporal Logic: Industrial power system case study

Adnane Saoud , Yoshinari Takayama , Alessio Iovine , Guillaume Sandou

06/12/2025

User-friendly Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study

Adnane Saoud , Yoshinari Takayama , Alessio Iovine , Guillaume Sandou

Communication dans un congrès 01/01/2024

Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study

Adnane Saoud , Yoshinari Takayama , Alessio Iovine

Communication dans un congrès 01/01/2024

Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids

Adnane Saoud , Yoshinari Takayama , Alessio Iovine