Compositional safety rules for inter-triggering hybrid automata Article Swipe
Kwesi Rutledge
,
Glen Chou
,
Necmiye Özay
·
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1145/3447928.3456659
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1145/3447928.3456659
Extended version of the conference paper with a supplementary appendix.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1145/3447928.3456659
- https://dl.acm.org/doi/pdf/10.1145/3447928.3456659
- OA Status
- gold
- References
- 29
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W3138917074
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W3138917074Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1145/3447928.3456659Digital Object Identifier
- Title
-
Compositional safety rules for inter-triggering hybrid automataWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2021Year of publication
- Publication date
-
2021-05-04Full publication date if available
- Authors
-
Kwesi Rutledge, Glen Chou, Necmiye ÖzayList of authors in order
- Landing page
-
https://doi.org/10.1145/3447928.3456659Publisher landing page
- PDF URL
-
https://dl.acm.org/doi/pdf/10.1145/3447928.3456659Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
goldOpen access status per OpenAlex
- OA URL
-
https://dl.acm.org/doi/pdf/10.1145/3447928.3456659Direct OA link when available
- Concepts
-
Computer science, Automaton, Formalism (music), Jump, Distributed computing, Function (biology), Hybrid automaton, Theoretical computer science, Visual arts, Art, Quantum mechanics, Biology, Musical, Physics, Evolutionary biologyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
29Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W3138917074 |
|---|---|
| doi | https://doi.org/10.1145/3447928.3456659 |
| ids.doi | https://doi.org/10.1145/3447928.3456659 |
| ids.mag | 3138917074 |
| ids.openalex | https://openalex.org/W3138917074 |
| fwci | 0.0 |
| type | article |
| title | Compositional safety rules for inter-triggering hybrid automata |
| awards[0].id | https://openalex.org/G8399684906 |
| awards[0].funder_id | https://openalex.org/F4320337345 |
| awards[0].display_name | |
| awards[0].funder_award_id | N00014-18-1-2501 |
| awards[0].funder_display_name | Office of Naval Research |
| awards[1].id | https://openalex.org/G2791518286 |
| awards[1].funder_id | https://openalex.org/F4320306076 |
| awards[1].display_name | |
| awards[1].funder_award_id | GRFP DGE 1256260, ECCS-1553873, CPS-1918123 |
| awards[1].funder_display_name | National Science Foundation |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | 11 |
| biblio.first_page | 1 |
| topics[0].id | https://openalex.org/T10142 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9998000264167786 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1703 |
| topics[0].subfield.display_name | Computational Theory and Mathematics |
| topics[0].display_name | Formal Methods in Verification |
| topics[1].id | https://openalex.org/T10639 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9970999956130981 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Advanced Software Engineering Methodologies |
| topics[2].id | https://openalex.org/T11125 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9969000220298767 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Petri Nets in System Modeling |
| funders[0].id | https://openalex.org/F4320306076 |
| funders[0].ror | https://ror.org/021nxhr62 |
| funders[0].display_name | National Science Foundation |
| funders[1].id | https://openalex.org/F4320306078 |
| funders[1].ror | https://ror.org/0447fe631 |
| funders[1].display_name | U.S. Department of Defense |
| funders[2].id | https://openalex.org/F4320337345 |
| funders[2].ror | https://ror.org/00rk2pe57 |
| funders[2].display_name | Office of Naval Research |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.7228188514709473 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C112505250 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6745995879173279 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q787116 |
| concepts[1].display_name | Automaton |
| concepts[2].id | https://openalex.org/C73301696 |
| concepts[2].level | 3 |
| concepts[2].score | 0.651182234287262 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q5469984 |
| concepts[2].display_name | Formalism (music) |
| concepts[3].id | https://openalex.org/C2780695682 |
| concepts[3].level | 2 |
| concepts[3].score | 0.6141067743301392 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q4005959 |
| concepts[3].display_name | Jump |
| concepts[4].id | https://openalex.org/C120314980 |
| concepts[4].level | 1 |
| concepts[4].score | 0.49957704544067383 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q180634 |
| concepts[4].display_name | Distributed computing |
| concepts[5].id | https://openalex.org/C14036430 |
| concepts[5].level | 2 |
| concepts[5].score | 0.43737614154815674 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q3736076 |
| concepts[5].display_name | Function (biology) |
| concepts[6].id | https://openalex.org/C2776028153 |
| concepts[6].level | 3 |
| concepts[6].score | 0.41455554962158203 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q5953179 |
| concepts[6].display_name | Hybrid automaton |
| concepts[7].id | https://openalex.org/C80444323 |
| concepts[7].level | 1 |
| concepts[7].score | 0.3163626790046692 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[7].display_name | Theoretical computer science |
| concepts[8].id | https://openalex.org/C153349607 |
| concepts[8].level | 1 |
| concepts[8].score | 0.0 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q36649 |
| concepts[8].display_name | Visual arts |
| concepts[9].id | https://openalex.org/C142362112 |
| concepts[9].level | 0 |
| concepts[9].score | 0.0 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q735 |
| concepts[9].display_name | Art |
| concepts[10].id | https://openalex.org/C62520636 |
| concepts[10].level | 1 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q944 |
| concepts[10].display_name | Quantum mechanics |
| concepts[11].id | https://openalex.org/C86803240 |
| concepts[11].level | 0 |
| concepts[11].score | 0.0 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q420 |
| concepts[11].display_name | Biology |
| concepts[12].id | https://openalex.org/C558565934 |
| concepts[12].level | 2 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q2743 |
| concepts[12].display_name | Musical |
| concepts[13].id | https://openalex.org/C121332964 |
| concepts[13].level | 0 |
| concepts[13].score | 0.0 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q413 |
| concepts[13].display_name | Physics |
| concepts[14].id | https://openalex.org/C78458016 |
| concepts[14].level | 1 |
| concepts[14].score | 0.0 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q840400 |
| concepts[14].display_name | Evolutionary biology |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.7228188514709473 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/automaton |
| keywords[1].score | 0.6745995879173279 |
| keywords[1].display_name | Automaton |
| keywords[2].id | https://openalex.org/keywords/formalism |
| keywords[2].score | 0.651182234287262 |
| keywords[2].display_name | Formalism (music) |
| keywords[3].id | https://openalex.org/keywords/jump |
| keywords[3].score | 0.6141067743301392 |
| keywords[3].display_name | Jump |
| keywords[4].id | https://openalex.org/keywords/distributed-computing |
| keywords[4].score | 0.49957704544067383 |
| keywords[4].display_name | Distributed computing |
| keywords[5].id | https://openalex.org/keywords/function |
| keywords[5].score | 0.43737614154815674 |
| keywords[5].display_name | Function (biology) |
| keywords[6].id | https://openalex.org/keywords/hybrid-automaton |
| keywords[6].score | 0.41455554962158203 |
| keywords[6].display_name | Hybrid automaton |
| keywords[7].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[7].score | 0.3163626790046692 |
| keywords[7].display_name | Theoretical computer science |
| language | en |
| locations[0].id | doi:10.1145/3447928.3456659 |
| locations[0].is_oa | True |
| locations[0].source | |
| locations[0].license | |
| locations[0].pdf_url | https://dl.acm.org/doi/pdf/10.1145/3447928.3456659 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | proceedings-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control |
| locations[0].landing_page_url | https://doi.org/10.1145/3447928.3456659 |
| locations[1].id | pmh:oai:deepblue.lib.umich.edu:2027.42/166479 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400393 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | Deep Blue (University of Michigan) |
| locations[1].source.host_organization | https://openalex.org/I27837315 |
| locations[1].source.host_organization_name | University of Michigan–Ann Arbor |
| locations[1].source.host_organization_lineage | https://openalex.org/I27837315 |
| locations[1].license | |
| locations[1].pdf_url | https://hdl.handle.net/2027.42/166479 |
| locations[1].version | submittedVersion |
| locations[1].raw_type | Conference Paper |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | https://hdl.handle.net/2027.42/166479 |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5064557285 |
| authorships[0].author.orcid | https://orcid.org/0000-0001-8231-1184 |
| authorships[0].author.display_name | Kwesi Rutledge |
| authorships[0].countries | US |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I27837315 |
| authorships[0].affiliations[0].raw_affiliation_string | Univ. of Michigan |
| authorships[0].institutions[0].id | https://openalex.org/I27837315 |
| authorships[0].institutions[0].ror | https://ror.org/00jmfr291 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I27837315 |
| authorships[0].institutions[0].country_code | US |
| authorships[0].institutions[0].display_name | University of Michigan |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Kwesi J. Rutledge |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Univ. of Michigan |
| authorships[1].author.id | https://openalex.org/A5006149535 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-4444-3631 |
| authorships[1].author.display_name | Glen Chou |
| authorships[1].countries | US |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I27837315 |
| authorships[1].affiliations[0].raw_affiliation_string | Univ. of Michigan |
| authorships[1].institutions[0].id | https://openalex.org/I27837315 |
| authorships[1].institutions[0].ror | https://ror.org/00jmfr291 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I27837315 |
| authorships[1].institutions[0].country_code | US |
| authorships[1].institutions[0].display_name | University of Michigan |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Glen Chou |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Univ. of Michigan |
| authorships[2].author.id | https://openalex.org/A5054418471 |
| authorships[2].author.orcid | https://orcid.org/0000-0002-5552-4392 |
| authorships[2].author.display_name | Necmiye Özay |
| authorships[2].countries | US |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I27837315 |
| authorships[2].affiliations[0].raw_affiliation_string | Univ. of Michigan |
| authorships[2].institutions[0].id | https://openalex.org/I27837315 |
| authorships[2].institutions[0].ror | https://ror.org/00jmfr291 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I27837315 |
| authorships[2].institutions[0].country_code | US |
| authorships[2].institutions[0].display_name | University of Michigan |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Necmiye Ozay |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Univ. of Michigan |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://dl.acm.org/doi/pdf/10.1145/3447928.3456659 |
| open_access.oa_status | gold |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Compositional safety rules for inter-triggering hybrid automata |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10142 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9998000264167786 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1703 |
| primary_topic.subfield.display_name | Computational Theory and Mathematics |
| primary_topic.display_name | Formal Methods in Verification |
| related_works | https://openalex.org/W4237936153, https://openalex.org/W1504674997, https://openalex.org/W2738671380, https://openalex.org/W1933500550, https://openalex.org/W2743585695, https://openalex.org/W1927866400, https://openalex.org/W1905380539, https://openalex.org/W1643219878, https://openalex.org/W1533908838, https://openalex.org/W2131211012 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | doi:10.1145/3447928.3456659 |
| best_oa_location.is_oa | True |
| best_oa_location.source | |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3447928.3456659 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | proceedings-article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control |
| best_oa_location.landing_page_url | https://doi.org/10.1145/3447928.3456659 |
| primary_location.id | doi:10.1145/3447928.3456659 |
| primary_location.is_oa | True |
| primary_location.source | |
| primary_location.license | |
| primary_location.pdf_url | https://dl.acm.org/doi/pdf/10.1145/3447928.3456659 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | proceedings-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control |
| primary_location.landing_page_url | https://doi.org/10.1145/3447928.3456659 |
| publication_date | 2021-05-04 |
| publication_year | 2021 |
| referenced_works | https://openalex.org/W6926252245, https://openalex.org/W2171505650, https://openalex.org/W2127162145, https://openalex.org/W2972844747, https://openalex.org/W2569817355, https://openalex.org/W1610578937, https://openalex.org/W3006348814, https://openalex.org/W2972970124, https://openalex.org/W2980133010, https://openalex.org/W2887284608, https://openalex.org/W2896642734, https://openalex.org/W2896605792, https://openalex.org/W3045935703, https://openalex.org/W3022429701, https://openalex.org/W2964046756, https://openalex.org/W2344321026, https://openalex.org/W2964310440, https://openalex.org/W3022878960, https://openalex.org/W1783469492, https://openalex.org/W2964255292, https://openalex.org/W3023792852, https://openalex.org/W2749747771, https://openalex.org/W2570272688, https://openalex.org/W1965455100, https://openalex.org/W2966497375, https://openalex.org/W2588802774, https://openalex.org/W3120353226, https://openalex.org/W4297781990, https://openalex.org/W1762430620 |
| referenced_works_count | 29 |
| abstract_inverted_index.a | 7 |
| abstract_inverted_index.of | 2 |
| abstract_inverted_index.the | 3 |
| abstract_inverted_index.with | 6 |
| abstract_inverted_index.paper | 5 |
| abstract_inverted_index.version | 1 |
| abstract_inverted_index.Extended | 0 |
| abstract_inverted_index.appendix. | 9 |
| abstract_inverted_index.conference | 4 |
| abstract_inverted_index.supplementary | 8 |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/16 |
| sustainable_development_goals[0].score | 0.49000000953674316 |
| sustainable_development_goals[0].display_name | Peace, Justice and strong institutions |
| citation_normalized_percentile.value | 0.06444311 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |