Generalised modal realisation as a practical and efficient tool for FWL implementation
From MaRDI portal
Recommendations
- A general framework for FDE-based modal logics
- Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
- Generalized modal satisfiability
- Generalized Modal Satisfiability
- scientific article; zbMATH DE number 140385
- A generic framework for implicate generation modulo theories
- scientific article; zbMATH DE number 1735909
- Realization theorems for justification logics: full modularity
- A Generalized Realizability and Intuitionistic Logic
- A uniform approach to domain theory in realizability models
Cites work
- A Unifying Framework for Finite Wordlength Realizations
- An efficient controller structure with minimum roundoff noise gain
- Dynamic range constraint in state-space digital filtering
- Finite wordlength controller realisations using the specialised implicit form
- LAPACK Users' Guide
- On stability and performance of sampled-data systems subject to wordlength constraint
- Optimal finite-precision approximation of FIR filters
- Optimum realizations of sampled-data controllers for FWL sensitivity minimization
- Roundoff noise analysis of two efficient digital filter structures
- Synthesis of minimum roundoff noise fixed point digital filters
Cited in
(1)
This page was built for publication: Generalised modal realisation as a practical and efficient tool for FWL implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3015116)