Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

Thumbnail Image

Files

Primary 297221.pdf (866.89 KB)

Date

2023

Authors

Rickard, L.
Badings, T.S. Thom
Romao, L.
Abate, A.

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer Nature Switzerland

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/297221

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By