Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.-Reference-Cited by-同舟云学术

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

Published:2022-05-04 Issue: Volume: Page:
ISSN:
Container-title:25th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Narasimhamurthy Monal¹,Sankaranarayanan Sriram¹

Affiliation:

1. University of Colorado Boulder, United States

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3501710.3524736

Reference7 articles.

1. Edmund Clarke Alexandre Donze and Axel Legay. 2009. Statistical Model Checking of Analog Mixed-Signal Circuits With An application to a third order Δ − Σ modulator. In Hardware and Software: Verification and Testing(LNCS Vol. 5394/2009). 149–163. Edmund Clarke Alexandre Donze and Axel Legay. 2009. Statistical Model Checking of Analog Mixed-Signal Circuits With An application to a third order Δ − Σ modulator. In Hardware and Software: Verification and Testing(LNCS Vol. 5394/2009). 149–163.

2. Gurobi Optimization LLC. 2021. Gurobi Optimizer Reference Manual. https://www.gurobi.com Gurobi Optimization LLC. 2021. Gurobi Optimizer Reference Manual. https://www.gurobi.com

3. Observers for multivariable systems

4. Monal Narasimhamurthy and Sriram Sankaranarayanan. 2022. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC’22). ACM. Monal Narasimhamurthy and Sriram Sankaranarayanan. 2022. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC’22). ACM.

5. Roberto Tempo , Fabrizio Dabbene , and Giuseppe Calafiore . 2005. Randomized Algorithms for Analysis and Control of Uncertain Systems . Springer London , London , 117–130. Roberto Tempo, Fabrizio Dabbene, and Giuseppe Calafiore. 2005. Randomized Algorithms for Analysis and Control of Uncertain Systems. Springer London, London, 117–130.