You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Verifying Band Convergence for Sampled Control Systems
|
---|---|
Chapter number | 19 |
Book title |
NASA Formal Methods
|
Published by |
Springer, Cham, May 2020
|
DOI | 10.1007/978-3-030-55754-6_19 |
Book ISBNs |
978-3-03-055753-9, 978-3-03-055754-6
|
Authors |
P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D’Souza, Meenakshi D’Souza, Ezudheen, P., Afzal, Zahra Rahimi, Prabhakar, Pavithra, D’Souza, Deepak, D’Souza, Meenakshi |