{"id":"https://openalex.org/W4413864817","doi":"https://doi.org/10.1587/transfun.2025eap1049","title":"Multitask Hybrid Observational Transition System and its Application","display_name":"Multitask Hybrid Observational Transition System and its Application","publication_year":2025,"publication_date":"2025-08-31","ids":{"openalex":"https://openalex.org/W4413864817","doi":"https://doi.org/10.1587/transfun.2025eap1049"},"language":"en","primary_location":{"id":"doi:10.1587/transfun.2025eap1049","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2025eap1049","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/advpub/0/advpub_2025EAP1049/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.jstage.jst.go.jp/article/transfun/advpub/0/advpub_2025EAP1049/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100398535","display_name":"Yifan Wang","orcid":"https://orcid.org/0000-0001-7387-0654"},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yifan WANG","raw_affiliation_strings":["Toyama Prefectural University"],"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University","institution_ids":["https://openalex.org/I63216439"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035411012","display_name":"Masaki Nakamura","orcid":"https://orcid.org/0000-0002-7473-3325"},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masaki NAKAMURA","raw_affiliation_strings":["Toyama Prefectural University"],"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University","institution_ids":["https://openalex.org/I63216439"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081128491","display_name":"Ryo Takano","orcid":"https://orcid.org/0009-0006-9439-6377"},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryo TAKANO","raw_affiliation_strings":["Toyama Prefectural University"],"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University","institution_ids":["https://openalex.org/I63216439"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102990573","display_name":"Takuya Matsumoto","orcid":"https://orcid.org/0000-0003-1363-9455"},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takuya MATSUMOTO","raw_affiliation_strings":["Toyama Prefectural University"],"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University","institution_ids":["https://openalex.org/I63216439"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113386958","display_name":"Kazutoshi Sakakibara","orcid":"https://orcid.org/0009-0000-9786-8460"},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazutoshi SAKAKIBARA","raw_affiliation_strings":["Toyama Prefectural University"],"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University","institution_ids":["https://openalex.org/I63216439"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100398535"],"corresponding_institution_ids":["https://openalex.org/I63216439"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27213397,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E109.A","issue":"3","first_page":"638","last_page":"650"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.29089999198913574,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.29089999198913574,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12451","display_name":"Smart Grid and Power Systems","score":0.2847999930381775,"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"}},{"id":"https://openalex.org/T14444","display_name":"Power Systems and Renewable Energy","score":0.28049999475479126,"subfield":{"id":"https://openalex.org/subfields/2102","display_name":"Energy Engineering and Power Technology"},"field":{"id":"https://openalex.org/fields/21","display_name":"Energy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/observational-study","display_name":"Observational study","score":0.5988055467605591},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.5235009789466858},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4690079391002655},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14155897498130798},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.13971266150474548},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09133946895599365}],"concepts":[{"id":"https://openalex.org/C23131810","wikidata":"https://www.wikidata.org/wiki/Q818574","display_name":"Observational study","level":2,"score":0.5988055467605591},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.5235009789466858},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4690079391002655},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14155897498130798},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.13971266150474548},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09133946895599365},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transfun.2025eap1049","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2025eap1049","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/advpub/0/advpub_2025EAP1049/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transfun.2025eap1049","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2025eap1049","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/advpub/0/advpub_2025EAP1049/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413864817.pdf","grobid_xml":"https://content.openalex.org/works/W4413864817.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4381328000","https://openalex.org/W2109147503","https://openalex.org/W2103779230","https://openalex.org/W2911339178","https://openalex.org/W334096847","https://openalex.org/W2322581019","https://openalex.org/W3141050733"],"abstract_inverted_index":{"Because":[0],"processes":[1,125],"run":[2],"concurrently":[3],"in":[4,66,108],"multitask":[5,47,54],"systems,":[6,23],"the":[7,10,40,80,83,89,113,116],"size":[8],"of":[9,42,79,91,124],"state":[11],"space":[12],"grows":[13],"exponentially,":[14],"which":[15,24],"poses":[16],"significant":[17],"challenges":[18,41],"for":[19],"formal":[20,32],"verification.":[21],"Hybrid":[22],"exhibit":[25],"both":[26],"discrete":[27],"and":[28,45,62,110],"continuous":[29],"dynamics,":[30],"complicate":[31],"verification":[33,78],"further.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38,51,76,94],"address":[39],"formally":[43],"describing":[44,63],"verifying":[46],"hybrid":[48,55],"systems.":[49],"Specifically,":[50],"propose":[52],"modeling":[53],"systems":[56,60],"as":[57,102],"observational":[58],"transition":[59],"(MHOTSs)":[61],"their":[64],"specifications":[65,81],"CafeOBJ,":[67,109],"an":[68,96,103,121],"algebraic":[69],"specification":[70,107],"language.":[71],"By":[72],"leveraging":[73],"CafeOBJ's":[74],"features,":[75],"perform":[77],"through":[82],"proof":[84],"score":[85],"method.":[86],"To":[87],"demonstrate":[88],"usefulness":[90],"our":[92],"approach,":[93],"model":[95],"autonomous":[97],"vehicle":[98],"group":[99],"control":[100],"system":[101,114],"MHOTS,":[104],"describe":[105],"its":[106],"verify":[111],"that":[112],"satisfies":[115],"safety":[117],"property":[118],"even":[119],"when":[120],"arbitrary":[122],"number":[123],"participate.":[126]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}