João Carlos 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: João Carlos Basilio