Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 14 results in range #151 to #164.
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems: Label: en
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata: Label: en
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems: Label: en
- Anytime Control Algorithms for Embedded Real-Time Systems: Label: en
- Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems: Label: en
- A Control Lyapunov Approach to Predictive Control of Hybrid Systems: Label: en
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions: Label: en
- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components: Label: en
- Trading Infinite Memory for Uniform Randomness in Timed Games: Label: en
- Controller Synthesis with Budget Constraints: Label: en
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System: Label: en
- Algebraic Identification of MIMO SARX Models: Label: en
- On the Maximum Principle for Impulsive Hybrid Systems: Label: en
- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems: Label: en
