Login / Signup
Carlo Motta
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Petri Net
Markov Chain
Initial State
Discrete Event Systems
Top Venues
IEEE Control. Syst. Lett.
MED
ICNSC
Autom.
</>
Publications
</>
Francesco Basile
,
Gianmaria De Tommasi
,
Carlo Motta
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques.
Autom.
152 (2023)
Francesco Basile
,
Gianmaria De Tommasi
,
Carlo Motta
,
Claudio Sterle
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.
IEEE Control. Syst. Lett.
6 (2022)
Francesco Basile
,
Gianmaria De Tommasi
,
Carlo Motta
,
Alberto Petrillo
,
Stefania Santini
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming.
MED
(2022)
Gianmaria De Tommasi
,
Carlo Motta
,
Alberto Petrillo
,
Stefania Santini
Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays.
ICNSC
(2022)