IRIS Institutional Research Information System - OPENBS Open Archive UniBS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 115
Titolo Data di pubblicazione Autore(i) File
Monitoring and Diagnosis of Discrete-Event Systems with Uncertain Observations 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
Monitoring-based Diagnosis of Discrete-Event Systems with Uncertain Observations 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
On Processing Temporal Observations in Model-Based Reasoning 1-gen-2005 Lamperti, Gian Franco; Zanella, Marina
Incremental Indexing of Temporal Observations in Diagnosis of Active Systems 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems 1-gen-2006 Lamperti, Gian Franco; Zanella, Marina
Coverage Techniques for Checking Temporal-Observation Subsumption 1-gen-2007 Ducoli, A.; Lamperti, Gian Franco; Piantoni, E.; Zanella, Marina
On Monotonic Monitoring of Discrete-Event Systems 1-gen-2007 Lamperti, Gian Franco; Zanella, Marina
Incremental processing of temporal observations in Model-Based Reasoning 1-gen-2007 Lamperti, Gian Franco; Zanella, Marina; Zanni, D.
A diagnostic environment for automaton networks 1-gen-2007 S., Cerutti; Lamperti, Gian Franco; M., Scaroni; Zanella, Marina; D., Zanni
Relaxation of Temporal Observations in Model-Based Diagnosis of Discrete-Event Systems 1-gen-2008 Lamperti, Gian Franco; Vivenzi, F.; Zanella, Marina
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina; Chiodi, G.; Chiodi, L.
On processing temporal observations in monitoring of discrete-event systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Vivenzi, F.; Zanella, Marina
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems 1-gen-2008 Lamperti, Gian Franco; Zanella, Marina; G., Chiodi; L., Chiodi
Circular pruning for lazy diagnosis of active systems 1-gen-2009 Lamperti, Gian Franco; Ducoli, A.; Piantoni, E.; Zanella, Marina
On subsumption, coverage, and relaxation of temporal observations in reuse-based diagnosis of discrete-event systems: a unifying perspective 1-gen-2009 Lamperti, Gian Franco; F., Vivenzi; Zanella, Marina
Lazy diagnosis of active systems via pruning techniques 1-gen-2009 Ducoli, A.; Lamperti, Gian Franco; Piantoni, E.; Zanella, Marina
Mostrati risultati da 41 a 60 di 115
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile