A modeling strategy for hybrid systems based on event structures (Q1801470): Difference between revisions

@@ Property / cites work @@
+Hybrid dynamical systems theory and the Signal language
+Normal rank
@@ Property / cites work @@
+Principles and engineering of process control with Petri nets
+Normal rank
@@ Property / cites work @@
+Q3993502
@@ Property / cites work: Q3993502 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Analysis of switched linear systems in the plane. I: Local behavior of trajectories and local cycle geometry
+Normal rank
@@ Property / cites work @@
+Analysis of switched linear systems in the plane. II: Global behavior of trajectories, controllability, and attainability
+Normal rank
@@ Property / cites work @@
+Q3887282
@@ Property / cites work: Q3887282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168078
@@ Property / cites work: Q4168078 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of a hybrid system using symbolic dynamics and Petri nets
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the periodicity of symbolic observations of piecewise smooth discrete-time systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-dependent solutions of a nonlinear system arising in semiconductor theory—II. Boundedness and periodicity
+Normal rank