Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/43347
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Neves, Renato Jorge Araújo | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2016-12-09T11:46:11Z | - |
dc.date.available | 2016-12-09T11:46:11Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | NB16 | por |
dc.identifier.isbn | 9783319467498 | por |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/43347 | - |
dc.description | Publicado em "Theoretical aspects of computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings". ISBN 978-3-319-46749-8 | por |
dc.description.abstract | Able to simultaneously encode discrete transitions and continuous behaviour, hybrid automata are the de facto framework for the formal specification and analysis of hybrid systems. The current paper revisits hybrid automata from a coalgebraic point of view. This allows to interpret them as state-based components, and provides a uniform theory to address variability in their definition, as well as the corresponding notions of behaviour, bisimulation, and observational semantics. | por |
dc.description.sponsorship | FCT grants SFRH/BD/52234/2013, SFRH/BSAB/ 113890/2015 | por |
dc.description.sponsorship | ERDF - European Regional Development Fund, through the COMPETE Programme, and by National Funds through FCT within project PTDC/EEI-CTP/4836/2014 | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.relation | PTDC/EEI-CTP/4836/2014 | - |
dc.relation | SFRH/BD/52234/2013 | - |
dc.relation | SFRH/BSAB/113890/2015 | - |
dc.rights | openAccess | por |
dc.title | Hybrid automata as coalgebras | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-319-46750-4_22 | por |
sdum.publicationstatus | info:eu-repo/semantics/publishedVersion | por |
oaire.citationStartPage | 385 | por |
oaire.citationEndPage | 402 | por |
oaire.citationTitle | Lecture Notes in Computer Science | por |
oaire.citationVolume | 9965 | por |
dc.identifier.doi | 10.1007/978-3-319-46750-4_22 | por |
dc.subject.fos | Engenharia e Tecnologia::Outras Engenharias e Tecnologias | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016 | por |
Aparece nas coleções: |