Skip to main content
Web oficial de la Unión EuropeaWeb oficial de la UE
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Contenido archivado el 2024-06-18

Resilient Networked Control Systems

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

Autores: Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.
Publicado en: Springer Science and Business Media LLCDiscrete Event Dynamic Systems: Theory and Applications 2012
Identificador permanente: Digital Object Identifier:10.1007/s10626-012-0152-0; Microsoft Academic Graph Identifier:2054032778; Handle:11584/44401

Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part II: Coefficients of Ergodicity Analysis Approach

Autores: Vaidya, Nitin H.; Hadjicostis, Christoforos N.; Domínguez-García, Alejandro D.
Publicado en: arXiv 2011
Identificador permanente: Digital Object Identifier:10.48550/arxiv.1109.6392; arXiv:http://arxiv.org/abs/1109.6392; Handle:2142/74622

Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part I: Statistical Moments Analysis Approach

Autores: Dominguez-Garcia, Alejandro D.; Hadjicostis, Christoforos N.; Vaidya, Nitin H.
Publicado en: arXiv 2011
Identificador permanente: Digital Object Identifier:10.48550/arxiv.1109.6391; arXiv:http://arxiv.org/abs/1109.6391

Verification of initial-state opacity in security applications of discrete event systems

Autores: Saboori, A.; Hadjicostis, Christoforos N.; Saboori, A.; Hadjicostis, Christoforos N.
Publicado en: Elsevier BVInformation Sciences 2013
Identificador permanente: Digital Object Identifier:10.1016/j.ins.2013.05.033; Microsoft Academic Graph Identifier:2004398490

Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets

Autores: Ru, Y.; Hadjicostis, Christoforos N.; Ru, Y.; Hadjicostis, Christoforos N.
Publicado en: Springer Science and Business Media LLCDiscrete Event Dynamic Systems: Theory and Applications 2009
Identificador permanente: Digital Object Identifier:10.1007/s10626-009-0074-7; Microsoft Academic Graph Identifier:2019970645

Coverage analysis of mobile agent trajectory via state-based opacity formulations

Autores: Saboori, A.; Hadjicostis, Christoforos N.; Saboori, A.; Hadjicostis, Christoforos N.
Publicado en: Elsevier BVControl Eng.Pract. 2011
Identificador permanente: Digital Object Identifier:10.1016/j.conengprac.2010.12.003; Microsoft Academic Graph Identifier:2073108636

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles