A model-based approach to testing software control systems described by linear differential equations
From MaRDI portal
Publication:6619616
DOI10.1007/978-3-031-35173-0_21MaRDI QIDQ6619616
Paweł Skruch, W. Mitkowski, M. Długosz, Marcin Szelest
Publication date: 16 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coverage-guided test generation for continuous and hybrid systems
- On the choice of weighting matrices in the minimum variance controller
- Rapidly-exploring random trees: Progress and prospects
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Robust Test Generation and Coverage for Hybrid Systems
- Verification and Control of Hybrid Systems
- Reliability of the Path Analysis Testing Strategy
- Hybrid Systems: Computation and Control
This page was built for publication: A model-based approach to testing software control systems described by linear differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6619616)
