scientific article; zbMATH DE number 744075
From MaRDI portal
Publication:4763590
Recommendations
- The algorithmic analysis of hybrid systems
- Algorithmic analysis of nonlinear hybrid systems
- An algebraic approach to hybrid systems
- A Synthesis Algorithm for Hybrid Systems
- Relational Methods in Computer Science
- An algebra of hybrid systems
- scientific article; zbMATH DE number 2050888
- Algebraic calculi for hybrid systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
Cited in
(58)- Differential dynamic logic for hybrid systems
- Duration calculus: Logical foundations
- A theory of discontinuities in physical system models
- Verification of clocked and hybrid systems
- A comprehensive methodology for building hybrid models of physical systems
- Some problems of analysis of hybrid automata
- The existence and stability analyses of periodic orbits in 3-dimensional piecewise affine systems
- Hybrid diagrams
- Decidable integration graphs.
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- HyTech: A model checker for hybrid systems
- Positive loop-closed automata: A decidable class of hybrid systems
- Decidable hybrid systems
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Linearization of hybrid processes
- Monotonic hybrid systems
- Optimal control of discrete-time hybrid automata under safety and liveness constraints
- Control design for autonomous vehicles: a dynamic optimization perspective
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- Symbolic verification of hybrid systems: an algebraic approach
- scientific article; zbMATH DE number 1696512 (Why is no real title available?)
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling
- Hybrid multirate PALS
- Formal modelling, analysis and verification of hybrid systems
- SMT-based analysis of virtually synchronous distributed hybrid systems
- On reachability for hybrid automata over bounded time
- Verification of Hybrid Systems
- Model checking learning agent systems using Promela with embedded C code and abstraction
- Symbolic Algorithm Analysis of Rectangular Hybrid Systems
- Expressive power of hybrid systems with real variables, integer variables and arrays
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
- Analysis of Linear Hybrid Systems in CLP
- scientific article; zbMATH DE number 1303058 (Why is no real title available?)
- Algorithmic analysis of nonlinear hybrid systems
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- scientific article; zbMATH DE number 2000404 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1522990 (Why is no real title available?)
- scientific article; zbMATH DE number 1528724 (Why is no real title available?)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Hybrid automata with finite bisimulations
- scientific article; zbMATH DE number 2085312 (Why is no real title available?)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- scientific article; zbMATH DE number 1424031 (Why is no real title available?)
- Uniformity for the decidability of hybrid automata
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
- Formal language properties of hybrid systems with strong resets
- Hybrid automation extended model
- A Synthesis Algorithm for Hybrid Systems
- A Hybrid Denotational Semantics for Hybrid Systems
- Weak singular hybrid automata
- Hybrid Systems: Computation and Control
- A type-based analysis of causality loops in hybrid systems modelers
- Analysis of three hybrid systems in timed CRL
- Proving sequential function chart programs using timed automata
- The algorithmic analysis of hybrid systems
- Toward unified analysis and controller synthesis for a class of hybrid systems
- Reliable social sensing with physical constraints: analytic bounds and performance evaluation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4763590)
