{"id":"https://openalex.org/W2121293895","doi":"https://doi.org/10.1109/rttas.2003.1203048","title":"Modular code generation from hybrid automata based on data dependency","display_name":"Modular code generation from hybrid automata based on data dependency","publication_year":2004,"publication_date":"2004-06-22","ids":{"openalex":"https://openalex.org/W2121293895","doi":"https://doi.org/10.1109/rttas.2003.1203048","mag":"2121293895"},"language":"en","primary_location":{"id":"doi:10.1109/rttas.2003.1203048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rttas.2003.1203048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/cis_papers/26","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029518464","display_name":"Jesung Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jesung Kim","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, USA","Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, USA","Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Dept. of Comput & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029518464"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":2.4179,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.88898465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"160","last_page":"168"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8458449840545654},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.6870377063751221},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6703940033912659},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6684170961380005},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5985113382339478},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.5756269097328186},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5655801892280579},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.5199679136276245},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4805034399032593},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4625645577907562},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45382699370384216},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.44514837861061096},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13935047388076782},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10418346524238586}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8458449840545654},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.6870377063751221},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6703940033912659},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6684170961380005},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5985113382339478},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.5756269097328186},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5655801892280579},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.5199679136276245},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4805034399032593},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4625645577907562},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45382699370384216},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44514837861061096},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13935047388076782},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10418346524238586},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/rttas.2003.1203048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rttas.2003.1203048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.upenn.edu:cis_papers-1028","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/26","pdf_url":"https://repository.upenn.edu/cis_papers/26","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.5.295","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.295","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cis.upenn.edu/pub/rtg/Paper/Full_Postscript/03rtas.ps","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/6298","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/6298","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Presentation"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:cis_papers-1028","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/26","pdf_url":"https://repository.upenn.edu/cis_papers/26","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2121293895.pdf","grobid_xml":"https://content.openalex.org/works/W2121293895.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1823037702","https://openalex.org/W2004463571","https://openalex.org/W2019734833","https://openalex.org/W2099529102","https://openalex.org/W2102194774","https://openalex.org/W2103128566","https://openalex.org/W2125415493","https://openalex.org/W4213253539","https://openalex.org/W4235825271"],"related_works":["https://openalex.org/W2508541108","https://openalex.org/W4242459863","https://openalex.org/W127357700","https://openalex.org/W1480528870","https://openalex.org/W4243191745","https://openalex.org/W2724597727","https://openalex.org/W2315419748","https://openalex.org/W4312340169","https://openalex.org/W1029445510","https://openalex.org/W1974370672"],"abstract_inverted_index":{"Model-based":[0],"automatic":[1],"code":[2,134,166,187],"generation":[3,135,167],"is":[4,62,91,109],"a":[5,18,22,72,157,165],"process":[6,27],"of":[7,17,29,36,48,99,120,133,154,191],"converting":[8],"abstract":[9],"models":[10],"into":[11,39],"concrete":[12],"implementations":[13,47],"in":[14,21,56,82,130,156],"the":[15,34,37,46,52,57,60,76,100,103,117,121,131,192,202],"form":[16],"program":[19],"written":[20],"high-level":[23],"programming":[24],"language.":[25],"The":[26,195],"consists":[28],"two":[30,83],"steps,":[31],"first":[32],"translating":[33],"primitives":[35,49],"model":[38,61],"(approximately)":[40],"equivalent":[41],"implementations,":[42],"and":[43,86,176,208],"then":[44],"scheduling":[45],"according":[50],"to":[51],"data":[53,77,89,107,125,178],"dependency":[54,78,90,108,126,155],"inherent":[55],"model.":[58,194],"When":[59],"based":[63,200],"on":[64,201],"hybrid":[65,170,203],"automata":[66,171],"that":[67,114,150,188],"combine":[68],"continuous":[69,85,118,175],"dynamics":[70],"with":[71,139,174,210],"finite":[73],"state":[74],"machine,":[75],"must":[79],"be":[80],"viewed":[81],"aspects:":[84],"discrete.":[87],"Continuous":[88],"present":[92,110],"between":[93,111],"mathematical":[94],"equations":[95],"modeling":[96,137,205],"time-continuous":[97],"behavior":[98,119],"system.":[101,122],"On":[102],"other":[104],"hand,":[105],"discrete":[106,124,177],"guarded":[112],"transitions":[113],"instantaneously":[115],"change":[116],"While":[123],"has":[127,145,197],"been":[128,146,198],"studied":[129],"context":[132],"from":[136],"languages":[138],"synchronous":[140],"semantics":[141],"(e.g.,":[142],"ESTEREL),":[143],"there":[144],"no":[147],"prior":[148],"work":[149],"addresses":[151],"both":[152],"kinds":[153],"single":[158],"framework.":[159],"In":[160],"this":[161],"paper":[162],"we":[163],"propose":[164,182],"framework":[168,196],"for":[169,184],"which":[172],"deals":[173],"dependency.":[179],"We":[180],"also":[181],"techniques":[183],"generating":[185],"modular":[186],"retains":[189],"modularity":[190],"original":[193],"implemented":[199],"system":[204],"language":[206],"CHARON,":[207],"experimented":[209],"Sony's":[211],"robot":[212],"platform":[213],"AIBO.":[214]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}