Hybrid I/O automata. (Q1427865): Difference between revisions

@@ Property / author @@
+Nancy A. Lynch
@@ Property / author: Nancy A. Lynch / rank @@
+Normal rank
@@ Property / author @@
+Frits W. Vaandrager
@@ Property / author: Frits W. Vaandrager / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552455
@@ Property / cites work: Q4552455 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity for timed and hybrid systems
@@ Property / cites work: Modularity for timed and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness in timed and untimed systems
@@ Property / cites work: Liveness in timed and untimed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552473
@@ Property / cites work: Q4552473 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems. Computation and control. 1st international workshop, HSCC '98, Berkeley, CA, USA, April 13--15, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. II: Timing-based systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Action transducers and timed automata
@@ Property / cites work: Action transducers and timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Special issue on Hybrid systems
@@ Property / cites work: Special issue on Hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable message delivery and conditionally-fast transactions are not possible without accurate clocks
+Normal rank
@@ Property / cites work @@
+Q4859392
@@ Property / cites work: Q4859392 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
+Normal rank