Abstraction and verification of autonomous max-plus-linear systems

D Adzkiya, B De Schutter, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publication2012 American Control Conference
Editors Tariq Samad
Place of PublicationMontreal, Canada
PublisherACC
Pages721-726
Number of pages6
ISBN (Print)978-4577-1094-0
Publication statusPublished - 2012
Event2012 American Control Conference - s.l.
Duration: 27 Jun 201229 Jun 2012

Publication series

Name
PublisherACC

Conference

Conference2012 American Control Conference
Period27/06/1229/06/12

Keywords

  • Conf.proc. > 3 pag

Cite this