Luigi Ferrara

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 8

Top Topics

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

Francesco Basile, Luigi Ferrara
Validation of Industrial Automation Systems Using a Timed Model of System Requirements. IEEE Trans. Control. Syst. Technol. 31 (1) (2023)
Francesco Basile, Luigi Ferrara
A model-based approach to the validation of automation systems. MED (2021)
Francesco Basile, Luigi Ferrara
A sliding-window approach to analyze the accuracy of timed DESs. ETFA (2021)
Francesco Basile, Luigi Ferrara
Finite-time accuracy of timed discrete event systems. CDC (2021)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Francesco Basile, Luigi Ferrara
Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. SMC (2019)
Francesco Basile, Gregory Faraut, Luigi Ferrara, Jean-Jacques Lesage
Discovering of the unobservable behaviour of an Interpreted Petri Net model. CDC (2019)
Luigi Ferrara, Nastaran Dadashi
SYSTEMATEKS: Scalable Interactive Modular Simulation (SIMS): Towards Sustainable Design. HCI (11) (2016)
Luigi Ferrara, Christian Mårtenson, Pontus Svenson, Per Svensson, Justo Hidalgo, Anastasio Molano, Anders L. Madsen
Integrating Data Sources and Network Analysis Tools to Support the Fight Against Organized Crime. ISI Workshops (2008)