1 resultado para model state durations
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Aberdeen University (1)
- Aberystwyth University Repository - Reino Unido (3)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (2)
- Adam Mickiewicz University Repository (1)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- Aquatic Commons (10)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (5)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (28)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (5)
- Boston University Digital Common (7)
- Brock University, Canada (8)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CaltechTHESIS (15)
- Cambridge University Engineering Department Publications Database (68)
- CentAUR: Central Archive University of Reading - UK (161)
- Chapman University Digital Commons - CA - USA (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (71)
- Cochin University of Science & Technology (CUSAT), India (5)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- CUNY Academic Works (3)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (60)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (1)
- Digital Knowledge Repository of Central Drug Research Institute (1)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (2)
- Diposit Digital de la UB - Universidade de Barcelona (6)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- Greenwich Academic Literature Archive - UK (5)
- Helda - Digital Repository of University of Helsinki (14)
- Indian Institute of Science - Bangalore - Índia (193)
- Institutional Repository of Leibniz University Hannover (2)
- Instituto Politécnico do Porto, Portugal (3)
- Massachusetts Institute of Technology (3)
- National Center for Biotechnology Information - NCBI (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Publishing Network for Geoscientific & Environmental Data (5)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (70)
- Queensland University of Technology - ePrints Archive (137)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (14)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- SAPIENTIA - Universidade do Algarve - Portugal (6)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (3)
- Universidade Complutense de Madrid (4)
- Universidade Federal do Pará (1)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (2)
- Université de Montréal, Canada (6)
- University of Michigan (10)
- University of Queensland eSpace - Australia (6)
Resumo:
Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.