{"id":"https://openalex.org/W2404288050","doi":"https://doi.org/10.1142/9789814271059_0014","title":"The Discrete Time Behaviour of Restricted Linear Hybrid Automata","display_name":"The Discrete Time Behaviour of Restricted Linear Hybrid Automata","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2404288050","doi":"https://doi.org/10.1142/9789814271059_0014","mag":"2404288050"},"language":"en","primary_location":{"id":"doi:10.1142/9789814271059_0014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814271059_0014","pdf_url":null,"source":{"id":"https://openalex.org/S4306486578","display_name":"Co-Published with Indian Institute of Science (IISc), Bangalore, India eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Modern Applications of Automata Theory","raw_type":"book-chapter"},"type":"book-chapter","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/A5104682589","display_name":"Manindra Agrawal","orcid":null},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Manindra Agrawal","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, India","Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, IndiaPart of this work was done when the author was a Distinguished Visiting Professor at NUS"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, IndiaPart of this work was done when the author was a Distinguished Visiting Professor at NUS","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085103227","display_name":"Frank Stephan","orcid":"https://orcid.org/0000-0001-9152-1706"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Frank Stephan","raw_affiliation_strings":["School of Computing and Department of Mathematics, National University of Singapore (NUS), Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing and Department of Mathematics, National University of Singapore (NUS), Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111462984","display_name":"P. S. Thiagarajan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. S. Thiagarajan","raw_affiliation_strings":["School of Computing, NUS, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, NUS, Singapore","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102165864","display_name":"Shaofa Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shaofa Yang","raw_affiliation_strings":["UNU-IIST, Macao","UNU-IIST, MacaoThis work was done when the author was a Ph. D. student at NUS"],"affiliations":[{"raw_affiliation_string":"UNU-IIST, Macao","institution_ids":[]},{"raw_affiliation_string":"UNU-IIST, MacaoThis work was done when the author was a Ph. D. student at NUS","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5104682589"],"corresponding_institution_ids":["https://openalex.org/I94234084"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24558159,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"437","last_page":"453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9991000294685364,"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/T11567","display_name":"semigroups and automata theory","score":0.9991000294685364,"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/T12029","display_name":"DNA and Biological Computing","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6413615942001343},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4719095826148987},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35702136158943176},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19445282220840454}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6413615942001343},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4719095826148987},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35702136158943176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19445282220840454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/9789814271059_0014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814271059_0014","pdf_url":null,"source":{"id":"https://openalex.org/S4306486578","display_name":"Co-Published with Indian Institute of Science (IISc), Bangalore, India eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Modern Applications of Automata Theory","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}