{"id":"https://openalex.org/W1974828696","doi":"https://doi.org/10.1145/1321211.1321257","title":"Sequence-based specification of feedback control systems in Simulink\u00ae","display_name":"Sequence-based specification of feedback control systems in Simulink\u00ae","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1974828696","doi":"https://doi.org/10.1145/1321211.1321257","mag":"1974828696"},"language":"en","primary_location":{"id":"doi:10.1145/1321211.1321257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321211.1321257","pdf_url":null,"source":{"id":"https://openalex.org/S4210189159","display_name":"Proceedings of CASCON","issn_l":"1705-7345","issn":["1705-7345","1705-7353","1705-7361"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07","raw_type":"proceedings-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047730365","display_name":"Jason Carter","orcid":"https://orcid.org/0000-0001-5216-5497"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason M. Carter","raw_affiliation_strings":["University of Tennessee, Knoxville","University of Tennessee Knoxville"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tennessee, Knoxville","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"University of Tennessee Knoxville","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109248499","display_name":"Jesse H. Poore","orcid":null},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jesse H. Poore","raw_affiliation_strings":["University of Tennessee, Knoxville","University of Tennessee Knoxville"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tennessee, Knoxville","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"University of Tennessee Knoxville","institution_ids":["https://openalex.org/I75027704"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I75027704"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"332","last_page":"332"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9962000250816345,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.696934700012207},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5668237209320068},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5498667359352112},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.538276731967926},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5132215023040771},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4881804585456848},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.483934223651886},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.48257747292518616},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.4494363069534302},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.435300350189209},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35103487968444824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29384201765060425},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2108074128627777},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09981274604797363},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09798166155815125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.696934700012207},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5668237209320068},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5498667359352112},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.538276731967926},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5132215023040771},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4881804585456848},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.483934223651886},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.48257747292518616},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.4494363069534302},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.435300350189209},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35103487968444824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29384201765060425},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2108074128627777},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09981274604797363},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09798166155815125},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1321211.1321257","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321211.1321257","pdf_url":null,"source":{"id":"https://openalex.org/S4210189159","display_name":"Proceedings of CASCON","issn_l":"1705-7345","issn":["1705-7345","1705-7353","1705-7361"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320309321","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44"},{"id":"https://openalex.org/F4320337624","display_name":"U.S. Naval Academy","ror":"https://ror.org/00znex860"},{"id":"https://openalex.org/F4320338287","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W597738481","https://openalex.org/W1542964113","https://openalex.org/W1991597775","https://openalex.org/W2118937568","https://openalex.org/W2158699648","https://openalex.org/W2167740161","https://openalex.org/W2185706143","https://openalex.org/W2250569976"],"related_works":["https://openalex.org/W4251298892","https://openalex.org/W2356013541","https://openalex.org/W2385444679","https://openalex.org/W3133868776","https://openalex.org/W2007221537","https://openalex.org/W2360644005","https://openalex.org/W2350667299","https://openalex.org/W2365027229","https://openalex.org/W4229851301","https://openalex.org/W1974370672"],"abstract_inverted_index":{"Solid-state":[0],"microprocessors":[1],"with":[2,16],"software":[3,40],"controlled":[4],"sensors":[5],"and":[6,19,27,82],"actuators":[7],"have":[8],"essentially":[9],"replaced":[10],"analog":[11],"control":[12,36,66],"systems.":[13,37,67],"Design":[14],"systems":[15],"extensive":[17],"libraries":[18],"code":[20],"generators":[21],"such":[22],"as":[23],"the":[24,39,46,62,72,88],"ETAS\u00ae":[25],"ASCET":[26],"MATLAB\u00ae/Simulink":[28],"are":[29,49],"widely":[30],"used":[31],"in":[32],"industry":[33],"to":[34,43,61,77,90,94],"design":[35,47,63],"However.":[38],"engineering":[41],"methods":[42],"help":[44],"get":[45],"right":[48],"missing.":[50],"Sequence-based":[51],"specification":[52,76],"is":[53,58],"a":[54],"rigorous":[55],"method":[56],"that":[57],"well":[59],"suited":[60],"of":[64,74],"embedded":[65],"This":[68],"paper":[69],"focuses":[70],"on":[71],"adaptation":[73],"sequence-based":[75],"Simulink":[78],"blocks,":[79],"feedback":[80],"control,":[81],"state":[83],"machine":[84],"generation,":[85],"while":[86],"preserving":[87],"ability":[89],"convert":[91],"ordinary":[92],"requirements":[93],"precise":[95],"state-machine":[96],"specifications.":[97]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}