Bisimulation conversion and verification procedure for goal-based control systems (Q633304): Difference between revisions

@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation relations for constrained linear systems
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank