State estimation for constant-time labeled automata under dense time

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Opacity of discrete event systems and its applications
Timed Petri nets in hybrid systems: Stability and supervisory control
A theory of timed automata
Constraint satisfaction problems: Algorithms and applications
Determinisability of unary weighted automata over the rational numbers
State estimation of max-plus automata with unobservable events
Scheduling with timed automata
The number of paths and cycles in a digraph
Real-time automata
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Observability of discrete event dynamic systems
Efficient Detection of Zeno Runs in Timed Automata
Undecidable Problems About Timed Automata
Undecidability Results for Timed Automata with Silent Transitions
Towards an Abstract Internal Model Principle
Recoverability of Communication Protocols--Implications of a Theoretical Study
Supervisory control of timed discrete-event systems
Active diagnosis of discrete-event systems
Diagnosability of discrete-event systems
Performance evaluation of (max,+) automata
Real-Time Control of Dense-Time Systems Using Digital-Clocks
Introduction to Discrete Event Systems
Verification of Detectability for Unambiguous Weighted Automata
Observers for a Class of Timed Automata Based on Elapsed Time Graphs
Estimation and Inference in Discrete Event Systems
Verification of State-Based Opacity Using Petri Nets
Verification of Infinite-Step Opacity and Complexity Considerations
Fault Diagnosis for Timed Automata
Formal Methods for the Design of Real-Time Systems
Diagnosis of timed patterns for discrete event systems by means of state isolation
On the design of hybrid control systems using automata models
State-based opacity of real-time automata

This page was built for publication: State estimation for constant-time labeled automata under dense time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6632510)