J. C. Basilio

Available identifiers

zbMath Open basilio.joao-carlosMaRDI QIDQ692378

List of research outcomes

Publication	Date of Publication	Type
Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability	2023-01-31	Paper
Codiagnosability of Networked Discrete Event Systems With Timing Structure	2022-10-11	Paper
Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks	2022-04-08	Paper
Enforcing current-state opacity through shuffle and deletions of event observations	2022-01-07	Paper
Robust supervisory control of discrete event systems against intermittent loss of observations	2021-12-22	Paper
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches	2021-12-09	Paper
Sequences of three dimensional manifolds with positive scalar curvature	2021-07-15	Paper
Supervisory Control of Networked Discrete Event Systems With Timing Structure	2021-05-28	Paper
An intrinsic flat limit of Riemannian manifolds with no geodesics	2020-01-29	Paper
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata	2020-01-28	Paper
Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications	2019-04-24	Paper
Sewing Riemannian manifolds with positive scalar curvature	2019-01-16	Paper
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation	2018-10-08	Paper
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage	2018-06-27	Paper
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis	2017-12-18	Paper
Diagnosability of intermittent sensor faults in discrete event systems	2017-10-11	Paper
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems	2017-08-25	Paper
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata	2017-05-16	Paper
“Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal	2017-05-03	Paper
Computation of minimal diagnosis bases of discrete-event systems using verifiers	2017-02-16	Paper
Characteristic locus method robustness improvement through optimal static normalizing pre-compensation	2014-11-07	Paper
Robust diagnosis of discrete-event systems against permanent loss of observations	2013-03-04	Paper
Robust diagnosis of discrete event systems against intermittent loss of observations	2013-03-01	Paper
Computation of minimal event bases that ensure diagnosability	2012-12-05	Paper
Rational stabilising commutative controllers: parameterisation and characterisation of degrees of freedom	2007-09-03	Paper
A robust solution of the generalized polynomial Bézout identity	2004-08-06	Paper
Computation of reduced-order models of multivariable systems by balanced truncation	2003-03-20	Paper
Inversion of polynomial matrices via state-space	2003-02-05	Paper
A normalizing precompensator for the design of effective and reliable commutative controllers	2002-08-11	Paper
An algorithm for coprime matrix fraction description using Sylvester matrices	1998-04-13	Paper
Design of causal reversed-frame-normalizing controllers using bicausal expansions	1997-10-27	Paper
The use of rational eigenvector approximations in commutative controllers	1995-05-11	Paper
Bi-C eigenvector sequences and the design of causal commutative controllers	1995-05-01	Paper

Research outcomes over time

This page was built for person: J. C. Basilio