{"id":"https://openalex.org/W1864809672","doi":"https://doi.org/10.22028/d291-26597","title":"On the analysis of stochastic timed systems","display_name":"On the analysis of stochastic timed systems","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1864809672","doi":"https://doi.org/10.22028/d291-26597","mag":"1864809672"},"language":"en","primary_location":{"id":"pmh:oai:universaar.uni-saarland.de:138","doi":null,"is_oa":true,"landing_page_url":"http://universaar.uni-saarland.de/monographien/volltexte/2015/138/","pdf_url":null,"source":{"id":"https://openalex.org/S7407050672","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen - Open Journals - Theologie Geschichte","issn_l":"1862-1678","issn":["1862-1678"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["anvur-scientific","ddh","doaj"],"host_organization":"https://openalex.org/P4310313686","host_organization_name":"University of T\u00fcbingen","host_organization_lineage":["https://openalex.org/P4310313686"],"host_organization_lineage_names":["University of T\u00fcbingen"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},"volume":null,"type":"book","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://universaar.uni-saarland.de/monographien/volltexte/2015/138/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007673197","display_name":"Arnd Hartmanns","orcid":"https://orcid.org/0000-0003-3268-8674","observed_orcids":["https://orcid.org/0000-0003-3268-8674"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hartmanns, Arnd","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5007673197"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2087,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.61728395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.00019999999494757503,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/statistical-model-checking","display_name":"statistical model checking","score":0.9610000252723694},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.8899999856948853},{"id":"https://openalex.org/keywords/probabilistic-timed-automata","display_name":"probabilistic timed automata","score":0.9940000176429749},{"id":"https://openalex.org/keywords/stochastic-timed-automata","display_name":"stochastic timed automata","score":0.9440000057220459},{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","score":0.7630000114440918},{"id":"https://openalex.org/keywords/distributed-control","display_name":"distributed control","score":0.824999988079071}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.912135124206543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8002448081970215},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7394092082977295},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5787539482116699},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5508794188499451},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5292546153068542},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.487131804227829},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4538605511188507},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42549917101860046},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4209512770175934},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.311568021774292},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2630665898323059},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25497502088546753},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10950446128845215},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:universaar.uni-saarland.de:138","doi":null,"is_oa":true,"landing_page_url":"http://universaar.uni-saarland.de/monographien/volltexte/2015/138/","pdf_url":null,"source":{"id":"https://openalex.org/S7407050672","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen - Open Journals - Theologie Geschichte","issn_l":"1862-1678","issn":["1862-1678"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["anvur-scientific","ddh","doaj"],"host_organization":"https://openalex.org/P4310313686","host_organization_name":"University of T\u00fcbingen","host_organization_lineage":["https://openalex.org/P4310313686"],"host_organization_lineage_names":["University of T\u00fcbingen"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},{"id":"doi:10.22028/d291-26597","doi":"https://doi.org/10.22028/d291-26597","is_oa":true,"landing_page_url":"https://doi.org/10.22028/d291-26597","pdf_url":null,"source":{"id":"https://openalex.org/S4377196499","display_name":"Publications of the UdS (Saarland University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I91712215","host_organization_name":"Saarland University","host_organization_lineage":["https://openalex.org/I91712215"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Collection"},{"id":"mag:1864809672","doi":null,"is_oa":false,"landing_page_url":"https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/26653/1/Thesis_Final_Electronic.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:universaar.uni-saarland.de:138","doi":null,"is_oa":true,"landing_page_url":"http://universaar.uni-saarland.de/monographien/volltexte/2015/138/","pdf_url":null,"source":{"id":"https://openalex.org/S7407050672","display_name":"Universit\u00e4tsbibliothek T\u00fcbingen - Open Journals - Theologie Geschichte","issn_l":"1862-1678","issn":["1862-1678"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["anvur-scientific","ddh","doaj"],"host_organization":"https://openalex.org/P4310313686","host_organization_name":"University of T\u00fcbingen","host_organization_lineage":["https://openalex.org/P4310313686"],"host_organization_lineage_names":["University of T\u00fcbingen"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1307506151","display_name":"Mobility between Europe and Argentina applying Logics to Systems","funder_award_id":"295261","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1750097643","display_name":"Self Energy-Supporting Autonomous Computation","funder_award_id":"318490","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3446333491","display_name":"Quantitative System Properties in Model-Driven Design of Embedded Systems","funder_award_id":"214755","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5949215475","display_name":null,"funder_award_id":"SFB/TR 14","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1538906230","https://openalex.org/W7100841872","https://openalex.org/W1581031502","https://openalex.org/W324729440","https://openalex.org/W2073841996","https://openalex.org/W147046584","https://openalex.org/W296769721","https://openalex.org/W2611133902","https://openalex.org/W4220946969","https://openalex.org/W7098124099"],"abstract_inverted_index":{"The":[0],"formal":[1,169],"methods":[2],"approach":[3],"to":[4,14,54,112,181],"develop":[5],"reliable":[6],"and":[7,50,57,72,127,130,162,179],"efficient":[8],"safety-":[9],"or":[10,31],"performance-critical":[11],"systems":[12,21],"is":[13],"construct":[15],"mathematically":[16],"precise":[17],"models":[18,63,165],"of":[19,25,48,60,88,100,103,154,164],"such":[20,27,68],"on":[22],"which":[23,158],"properties":[24,59],"interest,":[26],"as":[28,69,107,109,123,125,152],"safety":[29],"guarantees":[30],"performance":[32],"requirements,":[33],"can":[34],"be":[35],"verified":[36],"automatically.":[37],"In":[38],"this":[39,148,177],"thesis,":[40],"we":[41,131],"present":[42,75,132],"techniques":[43,77],"that":[44,64,78,139],"extend":[45],"the":[46,85,94,101,133,144,155,160,168],"reach":[47],"exhaustive":[49,135],"statistical":[51,81,114],"model":[52,82,87,102,115,136],"checking":[53,83,137],"verify":[55],"reachability":[56],"reward-based":[58],"compositional":[61],"behavioural":[62],"support":[65],"quantitative":[66],"aspects":[67],"real":[70],"time":[71],"randomised":[73],"decisions.\\nWe":[74],"two":[76,97],"allow":[79,120],"sound":[80],"for":[84,187],"nondeterministic-randomised":[86],"Markov":[89],"decision":[90],"processes.":[91],"We":[92,173],"investigate":[93],"relationship":[95],"between":[96],"different":[98],"definitions":[99],"probabilistic":[104],"timed":[105,118],"automata,":[106],"well":[108,124],"potential":[110],"ways":[111],"apply":[113],"checking.":[116],"Stochastic":[117],"automata":[119],"nondeterministic":[121,126],"choices":[122],"stochastic":[128],"delays,":[129],"first":[134],"algorithm":[138],"allows":[140],"their":[141],"analysis.":[142],"All":[143],"approaches":[145],"introduced":[146],"in":[147,167],"thesis":[149],"are":[150],"implemented":[151],"part":[153],"Modest":[156],"Toolset,":[157],"supports":[159],"construction":[161],"verification":[163],"specified":[166],"modelling":[170],"language":[171,178],"Modest.":[172],"conclude":[174],"by":[175],"applying":[176],"toolset":[180],"study":[182],"novel":[183],"distributed":[184],"control":[185],"strategies":[186],"photovoltaic":[188],"microgenerators.\\n":[189]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}