Cyber-physical systems (Q1699390): Difference between revisions

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10559-017-9984-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2768758104
@@ Property / OpenAlex ID: W2768758104 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of the structure of attributed transition systems without hidden transitions
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538297
@@ Property / cites work: Q5538297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341955
@@ Property / cites work: Q3341955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995613
@@ Property / cites work: Q3995613 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in the design of symbolic computation systems
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+From electrical switched networks to hybrid automata
+Normal rank
@@ Property / cites work @@
+Q5364938
@@ Property / cites work: Q5364938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3823708
@@ Property / cites work: Q3823708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760886
@@ Property / cites work: Q2760886 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and Tools for Hybrid Systems Design
@@ Property / cites work: Languages and Tools for Hybrid Systems Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365842
@@ Property / cites work: Q3365842 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating symbolic traces in the insertion modeling system
+Normal rank