Active Diagnosis for Switched Systems Using Mealy Machine Modeling (Q5117250): Difference between revisions

@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
+Normal rank
@@ Property / cites work @@
+Hybrid sliding mode observer for switched linear systems with unknown inputs
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
+Normal rank
@@ Property / cites work @@
+Hybrid system stability and robustness verification using linear matrix inequalities
+Normal rank
@@ Property / cites work @@
+Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
+Normal rank
@@ Property / cites work @@
+Q4763563
@@ Property / cites work: Q4763563 / rank @@
+Normal rank
@@ Property / cites work @@
+Active diagnosis of discrete-event systems
@@ Property / cites work: Active diagnosis of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Invertibility of switched nonlinear systems
@@ Property / cites work: Invertibility of switched nonlinear systems / rank @@
+Normal rank