Articles de revues sur le sujet « Reachability Analysi »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche 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.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
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égralNeumann, Michael, et Ronald J. Stern. « Cone reachability for linear differential systems ». Applicable Analysis 20, no 1-2 (juillet 1985) : 57–71. http://dx.doi.org/10.1080/00036818508839558.
Texte intégralWu, Guodong, et Junyan Qian. « Reachability Analysis of Asynchronous Dynamic Pushdown Networks Based on Tree Semantics Approach ». World Journal of Social Science Research 4, no 4 (18 octobre 2018) : 287. http://dx.doi.org/10.22158/wjssr.v4n4p287.
Texte intégralMIYAMOTO, Toshiyuki. « Reachability Analysis of Petri Nets ». IEICE ESS Fundamentals Review 13, no 1 (1 juillet 2019) : 20–27. http://dx.doi.org/10.1587/essfr.13.1_20.
Texte intégralNikolić, Đurica, et Fausto Spoto. « Reachability analysis of program variables ». ACM Transactions on Programming Languages and Systems 35, no 4 (décembre 2013) : 1–68. http://dx.doi.org/10.1145/2529990.
Texte intégralPomakis, Keith P., et Joanne M. Atlee. « Reachability analysis of feature interactions ». ACM SIGSOFT Software Engineering Notes 21, no 3 (mai 1996) : 216–23. http://dx.doi.org/10.1145/226295.226320.
Texte intégralReps, Thomas. « Program analysis via graph reachability ». Information and Software Technology 40, no 11-12 (décembre 1998) : 701–26. http://dx.doi.org/10.1016/s0950-5849(98)00093-7.
Texte intégralBUFFET, OLIVIER. « REACHABILITY ANALYSIS FOR UNCERTAIN SSPs ». International Journal on Artificial Intelligence Tools 16, no 04 (août 2007) : 725–49. http://dx.doi.org/10.1142/s0218213007003527.
Texte intégralSharon, Yoav, et Michael Margaliot. « Third-order nilpotency, nice reachability and asymptotic stability ». Journal of Differential Equations 233, no 1 (février 2007) : 136–50. http://dx.doi.org/10.1016/j.jde.2006.10.011.
Texte intégralRöger, Gabriele, Silvan Sievers et Michael Katz. « Symmetry-Based Task Reduction for Relaxed Reachability Analysis ». Proceedings of the International Conference on Automated Planning and Scheduling 28 (15 juin 2018) : 208–17. http://dx.doi.org/10.1609/icaps.v28i1.13904.
Texte intégralChistikov, Dmitry, Rupak Majumdar et Philipp Schepper. « Subcubic certificates for CFL reachability ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–29. http://dx.doi.org/10.1145/3498702.
Texte intégralLoreti, Paola, et Daniela Sforza. « Reachability problems for a class of integro-differential equations ». Journal of Differential Equations 248, no 7 (avril 2010) : 1711–55. http://dx.doi.org/10.1016/j.jde.2009.09.016.
Texte intégralChen, Xingwu, Zhaoxia Wang et Weinian Zhang. « Reachability of maximal number of critical periods without independence ». Journal of Differential Equations 269, no 11 (novembre 2020) : 9783–803. http://dx.doi.org/10.1016/j.jde.2020.06.065.
Texte intégralLagnese, John E. « The reachability problem for thermoelastic plates ». Archive for Rational Mechanics and Analysis 112, no 3 (1990) : 223–67. http://dx.doi.org/10.1007/bf00381235.
Texte intégralEverett, Michael, Golnaz Habibi, Chuangchuang Sun et Jonathan P. How. « Reachability Analysis of Neural Feedback Loops ». IEEE Access 9 (2021) : 163938–53. http://dx.doi.org/10.1109/access.2021.3133370.
Texte intégralZHANG, Hai-Bin, et Zhen-Hua DUAN. « Symbolic Reachability Analysis of Hybrid Systems ». Journal of Software 19, no 12 (13 novembre 2009) : 3111–21. http://dx.doi.org/10.3724/sp.j.1001.2008.03111.
Texte intégralKloetzer, Marius, et Calin Belta. « Reachability analysis of multi-affine systems ». Transactions of the Institute of Measurement and Control 32, no 5 (28 octobre 2009) : 445–67. http://dx.doi.org/10.1177/0142331208097838.
Texte intégralXUE, ZHIXING, et RUEDIGER DILLMANN. « EFFICIENT GRASP PLANNING WITH REACHABILITY ANALYSIS ». International Journal of Humanoid Robotics 08, no 04 (décembre 2011) : 761–75. http://dx.doi.org/10.1142/s0219843611002654.
Texte intégralGabr, Haitham, Andrei Todor, Alin Dobra et Tamer Kahveci. « Reachability Analysis in Probabilistic Biological Networks ». IEEE/ACM Transactions on Computational Biology and Bioinformatics 12, no 1 (1 janvier 2015) : 53–66. http://dx.doi.org/10.1109/tcbb.2014.2343967.
Texte intégralGan, Ting, Mingshuai Chen, Yangjia Li, Bican Xia et Naijun Zhan. « Reachability Analysis for Solvable Dynamical Systems ». IEEE Transactions on Automatic Control 63, no 7 (juillet 2018) : 2003–18. http://dx.doi.org/10.1109/tac.2017.2763785.
Texte intégralWong-Toi, Howard. « Symbolic Reachability Analysis of Hybrid Systems ». IFAC Proceedings Volumes 31, no 27 (septembre 1998) : 271–76. http://dx.doi.org/10.1016/s1474-6670(17)40040-1.
Texte intégralÖzdemir, Kadir, et Hasan Ural. « Protocol validation by simultaneous reachability analysis ». Computer Communications 20, no 9 (septembre 1997) : 772–88. http://dx.doi.org/10.1016/s0140-3664(97)00075-3.
Texte intégralKapinski, Jim, Klaus Schmidt et Bruce H. Krogh. « Reachability analysis using proximity based automata * ». IFAC Proceedings Volumes 37, no 18 (septembre 2004) : 315–20. http://dx.doi.org/10.1016/s1474-6670(17)30765-6.
Texte intégralWu, Chia-Ju. « State reachability analysis of fuzzy models ». Journal of the Franklin Institute 333, no 4 (juillet 1996) : 513–21. http://dx.doi.org/10.1016/0016-0032(96)00029-4.
Texte intégralBehrmann, Gerd. « Distributed reachability analysis in timed automata ». International Journal on Software Tools for Technology Transfer 7, no 1 (28 novembre 2003) : 19–30. http://dx.doi.org/10.1007/s10009-003-0111-z.
Texte intégralLISITSA, ALEXEI, et ANDREI P. NEMYTYKH. « REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION ». International Journal of Foundations of Computer Science 19, no 04 (août 2008) : 953–69. http://dx.doi.org/10.1142/s0129054108006066.
Texte intégralCheung, Shing Chi, et Jeff Kramer. « Context constraints for compositional reachability analysis ». ACM Transactions on Software Engineering and Methodology 5, no 4 (octobre 1996) : 334–77. http://dx.doi.org/10.1145/235321.235323.
Texte intégralTodor, Andrei, Haitham Gabr, Alin Dobra et Tamer Kahveci. « Large scale analysis of signal reachability ». Bioinformatics 30, no 12 (11 juin 2014) : i96—i104. http://dx.doi.org/10.1093/bioinformatics/btu262.
Texte intégralBouajjani, Ahmed, Javier Esparza et Tayssir Touili. « Reachability Analysis of Synchronized PA Systems ». Electronic Notes in Theoretical Computer Science 138, no 3 (décembre 2005) : 153–78. http://dx.doi.org/10.1016/j.entcs.2005.02.063.
Texte intégralFeuillade, Guillaume, Thomas Genet et Val�rie Viet Triem Tong. « Reachability Analysis over Term Rewriting Systems ». Journal of Automated Reasoning 33, no 3-4 (octobre 2004) : 341–83. http://dx.doi.org/10.1007/s10817-004-6246-0.
Texte intégralHolzmann, Gerard J. « An improved protocol reachability analysis technique ». Software : Practice and Experience 18, no 2 (février 1988) : 137–61. http://dx.doi.org/10.1002/spe.4380180203.
Texte intégralPavlogiannis, Andreas. « CFL/Dyck Reachability ». ACM SIGLOG News 9, no 4 (octobre 2022) : 5–25. http://dx.doi.org/10.1145/3583660.3583664.
Texte intégralMarchenko, V. M. « Hybrid discrete-continuous systems : II. Controllability and reachability ». Differential Equations 49, no 1 (janvier 2013) : 112–25. http://dx.doi.org/10.1134/s0012266113010114.
Texte intégralJi, Jing, Gui Xiong Liu et Li Ming Wu. « Reachability Analysis of Perception Layer Scheduling for IoT ». Applied Mechanics and Materials 385-386 (août 2013) : 1689–92. http://dx.doi.org/10.4028/www.scientific.net/amm.385-386.1689.
Texte intégralZhou, Kai-Qing, Li-Ping Mo, Lei Ding et Wei-Hua Gui. « An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph ». Symmetry 10, no 10 (1 octobre 2018) : 454. http://dx.doi.org/10.3390/sym10100454.
Texte intégralWang, Xu-Feng, Jian-Min Li, Xing-Wei Kong, Xin-Min Dong et Bo Zhang. « Towards docking safety analysis for unmanned aerial vehicle probe-drogue autonomous aerial refueling based on docking success-probability and docking reachability ». Proceedings of the Institution of Mechanical Engineers, Part G : Journal of Aerospace Engineering 233, no 11 (16 octobre 2018) : 3893–905. http://dx.doi.org/10.1177/0954410018806804.
Texte intégralZhao, Shouwei, Jitao Sun et Hai Lin. « Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field ». Journal of Applied Mathematics 2012 (2012) : 1–12. http://dx.doi.org/10.1155/2012/876120.
Texte intégralChen, Chyun Chyi, et Yueh Min Huang. « Using Time Reachability Tree Logic to Specifying and Verifying Temporal Behavior of Workflow-Net ». Applied Mechanics and Materials 571-572 (juin 2014) : 528–34. http://dx.doi.org/10.4028/www.scientific.net/amm.571-572.528.
Texte intégralHuang, Xinlin, Jianmin Gao, Hongquan Jiang, Zhiyong Gao et Fumin Chen. « Fault root cause tracing of complicated equipment based on fault graph ». Proceedings of the Institution of Mechanical Engineers, Part E : Journal of Process Mechanical Engineering 227, no 1 (29 mai 2012) : 17–32. http://dx.doi.org/10.1177/0954408912445957.
Texte intégralRublev, I. V. « Reachability set of a three-dimensional cascade control system ». Differential Equations 42, no 12 (décembre 2006) : 1745–54. http://dx.doi.org/10.1134/s0012266106120093.
Texte intégralMeyer, Pierre-Jean, et Murat Arcak. « Interval Reachability Analysis using Second-Order Sensitivity ». IFAC-PapersOnLine 53, no 2 (2020) : 1825–30. http://dx.doi.org/10.1016/j.ifacol.2020.12.2344.
Texte intégral