scientific article
From MaRDI portal
Publication:3602752
zbMath1167.68011MaRDI QIDQ3602752
Franck Cassez, Stavros Tripakis
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (25)
Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Computing observers from observation policies in discrete-event systems ⋮ Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Optimal constructions for active diagnosis ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Online minimization of sensor activation for supervisory control ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Synthesis of opaque systems with static and dynamic masks ⋮ Privacy preserving minimal observability for composite transactional services ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Optimal sensor activation for diagnosing discrete event systems ⋮ A tale of two diagnoses in probabilistic systems ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Diagnosability of repairable faults ⋮ Dynamic Observers for the Synthesis of Opaque Systems ⋮ Discrete-Event Systems Fault Diagnosis ⋮ Detectability of labeled weighted automata over monoids
This page was built for publication:
