scientific article; zbMATH DE number 744075
From MaRDI portal
Publication:4763590
zbMath0823.68067MaRDI QIDQ4763590
No author found.
Publication date: 17 April 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
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
This page was built for publication:
