Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

DOI10.1145/3501710.3519530OpenAlexW4225384887MaRDI QIDQ6120695

Monal Narasimhamurthy, Sriram Sankaranarayanan

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3501710.3519530

zbMATH Keywords

hybrid systemsstate estimationdecodingrandomized algorithmsobserver design

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Control of systems integrating logic, dynamics, and constraints
• Randomized algorithms for analysis and control of uncertain systems. With a foreword by M. Vidyasagar
• Statistical probabilistic model checking with a focus on time-bounded properties
• Observability and controllability of piecewise affine and hybrid systems
• Solving SAT and SAT Modulo Theories
• A Survey on Explicit Model Predictive Control
• SMC
• The Scenario Approach to Robust Control Design
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.