Littérature scientifique sur le sujet « Reachability Analysi »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Reachability Analysi ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Reachability Analysi"
Gu, Shen Shen. « Scheduling Flexible Manufacturing Systems with Petri Nets Based on the Cell Enumeration Method ». Advanced Materials Research 346 (septembre 2011) : 412–18. http://dx.doi.org/10.4028/www.scientific.net/amr.346.412.
Texte intégralPeng, Wuxu, et Kia Makki. « Reachability and reverse reachability analysis of CFSMs ». Computer Communications 19, no 8 (juillet 1996) : 668–74. http://dx.doi.org/10.1016/s0140-3664(97)84932-8.
Texte intégralFardigola, Larissa, et Kateryna Khalina. « Reachability and Controllability Problems for the Heat Equation on a Half-Axis ». Zurnal matematiceskoj fiziki, analiza, geometrii 15, no 1 (25 mars 2019) : 57–78. http://dx.doi.org/10.15407/mag15.01.057.
Texte intégralLi, Yuanbo, Kris Satya et Qirun Zhang. « Efficient algorithms for dynamic bidirected Dyck-reachability ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–29. http://dx.doi.org/10.1145/3498724.
Texte intégralZavattaro, Gianluigi. « Reachability Analysis in BioAmbients ». Electronic Notes in Theoretical Computer Science 227 (janvier 2009) : 179–93. http://dx.doi.org/10.1016/j.entcs.2008.12.111.
Texte intégralSzlobodnyik, Gergely, et Gábor Szederkényi. « Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws ». Complexity 2019 (26 mars 2019) : 1–13. http://dx.doi.org/10.1155/2019/1035974.
Texte intégralShi, Qingkai, Yongchao Wang, Peisen Yao et Charles Zhang. « Indexing the extended Dyck-CFL reachability for context-sensitive program analysis ». Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 octobre 2022) : 1438–68. http://dx.doi.org/10.1145/3563339.
Texte intégralSzlobodnyik, Gergely, et Gábor Szederkényi. « Polynomial Time Reachability Analysis in Discrete State Chemical Reaction Networks Obeying Conservation Laws ». MATCH - Communications in Mathematical and in Computer Chemistry 89, no 1 (août 2022) : 175–96. http://dx.doi.org/10.46793/match.89-1.175s.
Texte intégralLi, Yuanbo, Qirun Zhang et Thomas Reps. « Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 1003–26. http://dx.doi.org/10.1145/3571228.
Texte intégralLei, Yuxiang, Yulei Sui, Shuo Ding et Qirun Zhang. « Taming transitive redundancy for context-free language reachability ». Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 octobre 2022) : 1556–82. http://dx.doi.org/10.1145/3563343.
Texte intégralThèses sur le sujet "Reachability Analysi"
Jouda, Fatma, et Sagar Mehdi. « Safety Verification in Vehicle Test Applications : Using Reachability Analysis With the Focus on Reachability Tools ». Thesis, Högskolan i Halmstad, Halmstad Embedded and Intelligent Systems Research (EIS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38947.
Texte intégralHui, Daniel Hang-Yan. « Protocol validation via reachability analysis : an implementation ». Thesis, University of British Columbia, 1985. http://hdl.handle.net/2429/24689.
Texte intégralScience, Faculty of
Computer Science, Department of
Graduate
Lång, Magnus. « Sound and Complete Reachability Analysis under PSO ». Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-213286.
Texte intégralGanesan, Sudakshin. « Real Time Reachability Analysis for Marine Vessels ». Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-247878.
Texte intégralSäkerhetsverifiering av kontinuerliga dynamiska system kräver beräkningav mängden av tillstånd som kan nås vid en specifik tidpunkt, givet dess initialtillstånd.Detta arbete fokuserar påatt bestämma denna mängd av nåbaratillstånd för ett marint fartyg under modellosäkerheter och externa störningari form av vind, vågor och strömmar. Den nåbara mängden av tillstånd användssedan för att kontrollera om fartyget riskerar att kollidera med hinder.Den dynamiska modell som används i våra studier är en icke-linjär modelldär även dynamiken hos azipod-ställdonen betraktas.Arbetet studerar flera metoder för att lösa problemet: en klassisk Hamilton-Jacobi nåbarhetsanalys, en mängd-teoretisk teknik, samt en ny metod baseradpåmaskininlärning. Numeriska simuleringsstudier bekräftar att den föreslagnamaskininlärningsmetoden är snabbare än de tvåalternativen.
Hollingum, Nicholas. « On the Practice and Application of Context-Free Language Reachability ». Thesis, The University of Sydney, 2017. http://hdl.handle.net/2123/17866.
Texte intégralAusmees, Kristiina. « Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata ». Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-179802.
Texte intégralYan, Chao. « Projectagon-based reachability analysis for circuit-level formal verification ». Thesis, University of British Columbia, 2011. http://hdl.handle.net/2429/37135.
Texte intégralLin, Yi-Tzer. « Modeling and analysis for message reachability in distributed manufacturing systems ». Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/24292.
Texte intégralScott, Joseph Kirk. « Reachability analysis and deterministic global optimization of differential-algebraic systems ». Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/76539.
Texte intégralThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (p. 447-460).
Systems of differential-algebraic equations (DAEs) are used to model an incredible variety of dynamic phenomena. In the chemical process industry in particular, the numerical simulation of detailed DAE models has become a cornerstone of many core activities including, process development, economic optimization, control system design and safety analysis. In such applications, one is primarily interested in the behavior of the model solution with respect variations in the model inputs or uncertainties in the model itself. This thesis addresses two computational problems of general interest in this regard. In the first, we are interested in computing a guaranteed enclosure of all solutions of a given DAE model subject to a specified set of inputs. This analysis has natural applications in uncertainty quantification and process safety verification, and is used for many important tasks in process control. However, for nonlinear dynamic systems, this task is very difficult. Existing methods apply only to ordinary differential equation (ODE) models, and either provide very conservative enclosures or require excessive computational effort. Here, we present new methods for computing interval bounds on the solutions of ODEs and DAEs. For ODEs, the focus is on efficient methods for using physical information that is often available in applications to greatly reduce the conservatism of existing methods. These methods are then extended for the first time to the class of semi-explicit index-one DAEs. The latter portion of the thesis concerns the global solution of optimization problems constrained by DAEs. Such problems arise in optimal control of batch processes, determination of optimal start-up and shut-down procedures, and parameter estimation for dynamic models. In nearly all conceivable applications, there is significant economic and/or intellectual impetus to locate a globally optimal solution. Yet again, this problem has proven to be extremely difficult for nonlinear dynamic models. A small number of practical algorithms have been proposed, all of which are limited to ODE models and require significant computational effort. Here, we present improved lower-bounding procedures for ODE constrained problems and develop a complete deterministic algorithm for problems constrained by semi-explicit index-one DAEs for the first time.
by Joseph Kirk Scott.
Ph.D.
Chai, Xinwei. « Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks ». Thesis, Ecole centrale de Nantes, 2019. http://www.theses.fr/2019ECDN0014/document.
Texte intégralConcurrent systems become a good choice to fit the data and analyze the underlying mechanics for their simple but expressive semantics. However, learning and analyzing such concurrent systems are computationally difficult. When dealing with big data sets, the state-of-the-art techniques appear to be insufficient, either in term of efficiency or in term of precision. In this thesis, we propose a refined modeling framework ABAN (Asynchronous Binary Automata Network) and develop reachability analysis techniques based on ABAN: PermReach (Reachability via Permutation search) and ASPReach (Reachability via Answer Set Programming). Then we propose two model learning/constructing methods: CRAC (Completion via Reachability And Correlations) and M2RIT (Model Revision via Reachability and Interpretation Transitions) using continuous and discrete data to fit the model and using reachability properties to constrain the output models
Livres sur le sujet "Reachability Analysi"
Meyer, Pierre-Jean, Alex Devonport et Murat Arcak. Interval Reachability Analysis. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65110-7.
Texte intégralBujorianu, Luminita Manuela. Stochastic Reachability Analysis of Hybrid Systems. London : Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2795-6.
Texte intégralBujorianu, Luminita Manuela. Stochastic reachability analysis of hybrid systems. London : Springer, 2012.
Trouver le texte intégralValidation of communications systems with SDL : The art of SDL simulation and reachability analysis. Chichester : Wiley, 2003.
Trouver le texte intégralJérôme, Leroux, Potapov Igor et SpringerLink (Online service), dir. Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Trouver le texte intégralBujorianu, Luminita Manuela. Stochastic Reachability Analysis of Hybrid Systems. Springer, 2012.
Trouver le texte intégralBujorianu, Luminita Manuela. Stochastic Reachability Analysis of Hybrid Systems. Springer, 2014.
Trouver le texte intégralDoldi, Laurent. Validation of Communications Systems with SDL : The Art of SDL Simulation and Reachability Analysis. Wiley & Sons, Limited, John, 2005.
Trouver le texte intégralMeyer, Pierre-Jean, Alex Devonport et Murat Arcak. Interval Reachability Analysis : Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification. Springer International Publishing AG, 2021.
Trouver le texte intégralDoldi, Laurent. Validation of Communications Systems with SDL : The Art of SDL Simulation and Reachability Analysis. Wiley & Sons, Incorporated, John, 2003.
Trouver le texte intégralChapitres de livres sur le sujet "Reachability Analysi"
Sun, Dawei, et Sayan Mitra. « NeuReach : Learning Reachability Functions from Simulations ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 322–37. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_17.
Texte intégralMcMillan, Ken L. « Craig Interpolation and Reachability Analysis ». Dans Static Analysis, 336. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44898-5_18.
Texte intégralThomas, Dina, Supratik Chakraborty et Paritosh Pandya. « Efficient Guided Symbolic Reachability Using Reachability Expressions ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 120–34. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11691372_8.
Texte intégralCacciari, Leo, et Omar Rafiq. « A temporal reachability analysis ». Dans Protocol Specification, Testing and Verification XV, 35–49. Boston, MA : Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-34892-6_3.
Texte intégralBalasubramanian, A. R., Lucie Guillou et Chana Weil-Kennedy. « Parameterized Analysis of Reconfigurable Broadcast Networks ». Dans Lecture Notes in Computer Science, 61–80. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_4.
Texte intégralMadsen, Magnus, et Anders Møller. « Sparse Dataflow Analysis with Pointers and Reachability ». Dans Static Analysis, 201–18. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_13.
Texte intégralPratikakis, Polyvios, Jeffrey S. Foster et Michael Hicks. « Existential Label Flow Inference Via CFL Reachability ». Dans Static Analysis, 88–106. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11823230_7.
Texte intégralBusi, Nadia, et Gianluigi Zavattaro. « Reachability Analysis in Boxed Ambients ». Dans Lecture Notes in Computer Science, 143–59. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11560586_12.
Texte intégralDang, Thao, et Oded Maler. « Reachability analysis via face lifting ». Dans Hybrid Systems : Computation and Control, 96–109. Berlin, Heidelberg : Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-64358-3_34.
Texte intégralFisher, Andrew N., Chris J. Myers et Peng Li. « Reachability Analysis Using Extremal Rates ». Dans Lecture Notes in Computer Science, 158–72. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9_12.
Texte intégralActes de conférences sur le sujet "Reachability Analysi"
Goubault, Eric, Olivier Mullier, Sylvie Putot et Michel Kieffer. « Inner approximated reachability analysis ». Dans HSCC'14 : 17th International Conference on Hybrid Systems : Computation and Control. New York, NY, USA : ACM, 2014. http://dx.doi.org/10.1145/2562059.2562113.
Texte intégralHansen, Hallstein A., et Gerardo Schneider. « Reachability analysis of GSPDIs ». Dans the 2010 ACM Symposium. New York, New York, USA : ACM Press, 2010. http://dx.doi.org/10.1145/1774088.1774609.
Texte intégral« Front cover ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479374.
Texte intégral« Copyright ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479375.
Texte intégralDuracz, Adam, Ferenc A. Bartha et Walid Taha. « Accurate rigorous simulation should be possible for good designs ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479376.
Texte intégralBasagiannis, Stylianos. « Software certification of airborne cyber-physical systems under DO-178C ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479378.
Texte intégralAdimoolam, Arvind S., et Thao Dang. « Template complex zonotopes : a new set representation for verification of hybrid systems ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479379.
Texte intégralRatschan, Stefan. « Computing ODE-barriers in hyper-rectangles ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479380.
Texte intégralVignali, Riccardo, et Maria Prandini. « Model reduction of discrete time hybrid systems : A structural approach based on observability ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479381.
Texte intégralGao, Yang, et Martin Franzle. « CSiSAT : A satisfiability solver for SMT formulas with continuous probability distributions ». Dans 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479382.
Texte intégralRapports d'organisations sur le sujet "Reachability Analysi"
Gao, Sicun, Soonho Kong et Edmund M. Clarke. Delta-Complete Reachability Analysis (Part 1). Fort Belvoir, VA : Defense Technical Information Center, décembre 2013. http://dx.doi.org/10.21236/ada600179.
Texte intégralGao, Sicun, Soonho Kong, Wei Chen et Edmund M. Clarke. Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. Fort Belvoir, VA : Defense Technical Information Center, juillet 2014. http://dx.doi.org/10.21236/ada613813.
Texte intégral