Jolanda Coppola

IEEE Trans. Syst. Man Cybern. Syst., 2017

Identification of Time Petri Net Models.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2017

A matrix-based approach for supervising and controlling timed Discrete Event System.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

Faulty model identification in deterministic labeled Time Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Identification of labeled Time Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A cyber-physical view of automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Automated warehouse systems: A cyber-physical system perspective.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Real time identification of Time Petri net faulty models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Automated implementation of Petri Nets on PLCs with OOP.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

An approach for the identification of time Petri net systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

A Hybrid Model of Complex Automated Warehouse Systems - Part II: Analysis and Experimental Results.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

A Hybrid Model of Complex Automated Warehouse Systems - Part I: Modeling and Simulation.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

Active identification of Petri net models.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

A hybrid model for the control and the analysis of complex automated warehouse systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Colored Hybrid Petri-nets for modeling material handling systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A discrete event model for the control and analysis of complex automated warehouse systems.

[BibT_eX]

[DOI]