scientific article; zbMATH DE number 744075
From MaRDI portal
zbMath0823.68067MaRDI QIDQ4763590
No author found.
Publication date: 17 April 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling, Verification of Hybrid Systems, Toward unified analysis and controller synthesis for a class of hybrid systems, Model checking learning agent systems using Promela with embedded C code and abstraction, Duration calculus: Logical foundations, Decidable hybrid systems, A theory of discontinuities in physical system models, Reliable social sensing with physical constraints: analytic bounds and performance evaluation, The existence and stability analyses of periodic orbits in 3-dimensional piecewise affine systems, Verifying hierarchical Ptolemy II discrete-event models using real-time maude, Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems, A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability, Hybrid automata with finite bisimulations, On Reachability for Hybrid Automata over Bounded Time, Optimal control of discrete-time hybrid automata under safety and liveness constraints, Formal language properties of hybrid systems with strong resets, Proving sequential function chart programs using timed automata, Control design for autonomous vehicles: a dynamic optimization perspective, Differential dynamic logic for hybrid systems, A comprehensive methodology for building hybrid models of physical systems, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, Uniformity for the decidability of hybrid automata
