Efficient Temporal Logic Verification By Incremental Abstraction | 0 | 0.34 | 2020 |
Incremental Abstraction for Diagnosability Verification of Modular Systems | 0 | 0.34 | 2019 |
Incremental Observer Reduction Applied to Opacity Verification and Synthesis. | 1 | 0.35 | 2018 |
Verification of diagnosability based on compositional branching bisimulation | 0 | 0.34 | 2014 |
Some refinements of the standard autoassociative neural network. | 0 | 0.34 | 2013 |
A survey on efficient diagnosability tests for automata and bounded Petri nets. | 0 | 0.34 | 2013 |
Parkinson's Disease Diagnosis Using Modular Systems | 0 | 0.34 | 2013 |
State-vector transition model applied to supervisory control. | 0 | 0.34 | 2012 |
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. | 7 | 0.47 | 2012 |
An evolving neural network to perform dynamic principal component analysis | 6 | 0.55 | 2010 |
Unaligned training for voice conversion based on a local nonlinear principal component analysis approach | 10 | 0.53 | 2010 |
Principal Component Analysis Using Constructive Neural Networks | 4 | 0.59 | 2007 |