A reachable throughput upper bound for live and safe free choice nets via T-invariants. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (ECC, 2003)

Petri net controllers to enforce disjunction of GMECs. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (ICRA, 2003)

An approach to enforce disjunction of GMECs on controlled Petri Nets. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (SMC, 2003)

A hybrid model for urban traffic control. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio; René K. Boel; Camelia Claudia Avram (SMC (2), 2004)

A Novel 3D Geometric Algorithm for Aircraft Autonomous Collision Avoidance. - Ciro Carbone; Umberto Ciniglio; Federico Corraro; Salvatore Luongo (CDC, 2006)

Feedback Control Logic for Backward Conflict Free Choice Nets. - Francesco Basile; Ciro Carbone; Pasquale Chiacchio (IEEE Trans. Autom. Control., 2007)

Multi-Sensor-Based Fully Autonomous Non-Cooperative Collision Avoidance System for Unmanned Air Vehicles. - Giancarmine Fasano; Domenico Accardo; Antonio Moccia; Ciro Carbone; Umberto Ciniglio; Federico Corraro; Salvatore Luongo (J. Aerosp. Comput. Inf. Commun., 2008)