Articles de revues sur le sujet « Approximate bisimulation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 28 meilleurs articles de revues pour votre recherche sur le sujet « Approximate bisimulation ».
À 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.
Ma, Yanfang. « Quantitative Analysis of Software Approximate Correctness ». Mathematical Problems in Engineering 2015 (2015) : 1–13. http://dx.doi.org/10.1155/2015/173012.
Texte intégralDeng, Hui, et Jinzhao Wu. « Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation ». Mathematical Problems in Engineering 2013 (2013) : 1–19. http://dx.doi.org/10.1155/2013/421926.
Texte intégralYang, Chao, et Yongming Li. « Approximate bisimulation relations for fuzzy automata ». Soft Computing 22, no 14 (9 novembre 2017) : 4535–47. http://dx.doi.org/10.1007/s00500-017-2913-z.
Texte intégralLiu, Bai, Jinzhao Wu et Zhucheng Xie. « Approximate Bisimulation Equivalence and Variable Refinement ». Applied Mathematics & ; Information Sciences 8, no 4 (1 juillet 2014) : 1959–66. http://dx.doi.org/10.12785/amis/080454.
Texte intégralGebler, Daniel, et Simone Tini. « Compositionality of Approximate Bisimulation for Probabilistic Systems ». Electronic Proceedings in Theoretical Computer Science 120 (26 juillet 2013) : 32–46. http://dx.doi.org/10.4204/eptcs.120.4.
Texte intégralGirard, Antoine, et George J. Pappas. « Approximate bisimulation relations for constrained linear systems ». Automatica 43, no 8 (août 2007) : 1307–17. http://dx.doi.org/10.1016/j.automatica.2007.01.019.
Texte intégralGirard, Antoine. « Low-complexity quantized switching controllers using approximate bisimulation ». Nonlinear Analysis : Hybrid Systems 10 (novembre 2013) : 34–44. http://dx.doi.org/10.1016/j.nahs.2013.02.001.
Texte intégralWang, Chao, Jinzhao Wu, Hongyan Tan et Jun Fu. « Approximate reachability and bisimulation equivalences for transition systems ». Transactions of Tianjin University 22, no 1 (février 2016) : 19–23. http://dx.doi.org/10.1007/s12209-016-2565-6.
Texte intégralCHOE, Sunseong, Kunihiko HIRAISHI et Koichi KOBAYASHI. « Approximate Bisimulation for Hybrid Systems Based on Transition Relations ». Transactions of the Society of Instrument and Control Engineers 47, no 12 (2011) : 614–20. http://dx.doi.org/10.9746/sicetr.47.614.
Texte intégralStankovic, Aleksandar M., Savo D. Dukic et Andrija T. Saric. « Approximate Bisimulation-Based Reduction of Power System Dynamic Models ». IEEE Transactions on Power Systems 30, no 3 (mai 2015) : 1252–60. http://dx.doi.org/10.1109/tpwrs.2014.2342504.
Texte intégralMa, Yanfang, et Haiyu Pan. « The Approximate Correctness of Systems Based on δ -bisimulation ». Electronic Notes in Theoretical Computer Science 333 (septembre 2017) : 73–87. http://dx.doi.org/10.1016/j.entcs.2017.08.007.
Texte intégralGirard, Antoine. « Controller synthesis for safety and reachability via approximate bisimulation ». Automatica 48, no 5 (mai 2012) : 947–53. http://dx.doi.org/10.1016/j.automatica.2012.02.037.
Texte intégralGirard, Antoine, et George J. Pappas. « Approximate Bisimulation : A Bridge Between Computer Science and Control Theory ». European Journal of Control 17, no 5-6 (janvier 2011) : 568–78. http://dx.doi.org/10.3166/ejc.17.568-578.
Texte intégralDeng, Hui, Jinzhao Wu et Hongyan Tan. « Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems ». Advances in Mechanical Engineering 5 (janvier 2013) : 305636. http://dx.doi.org/10.1155/2013/305636.
Texte intégralAriful Islam, Md, Abhishek Murthy, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka et Radu Grosu. « Model-order reduction of ion channel dynamics using approximate bisimulation ». Theoretical Computer Science 599 (septembre 2015) : 34–46. http://dx.doi.org/10.1016/j.tcs.2014.03.018.
Texte intégralPola, Giordano, Pierdomenico Pepe et Maria Domenica Di Benedetto. « Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ». International Journal of Robust and Nonlinear Control 25, no 14 (27 juin 2014) : 2328–47. http://dx.doi.org/10.1002/rnc.3204.
Texte intégralQiao, Sha, et Ping Zhu. « Limited approximate bisimulations and the corresponding rough approximations ». International Journal of Approximate Reasoning 130 (mars 2021) : 50–82. http://dx.doi.org/10.1016/j.ijar.2020.12.005.
Texte intégralPola, Giordano, et Paulo Tabuada. « Symbolic Models for Nonlinear Control Systems : Alternating Approximate Bisimulations ». SIAM Journal on Control and Optimization 48, no 2 (janvier 2009) : 719–33. http://dx.doi.org/10.1137/070698580.
Texte intégralPola, Giordano, Pierdomenico Pepe, Maria D. Di Benedetto et Paulo Tabuada. « Symbolic models for nonlinear time-delay systems using approximate bisimulations ». Systems & ; Control Letters 59, no 6 (juin 2010) : 365–73. http://dx.doi.org/10.1016/j.sysconle.2010.04.001.
Texte intégralDelgrange, Florent, Ann Nowé et Guillermo A. Pérez. « Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 6 (28 juin 2022) : 6497–505. http://dx.doi.org/10.1609/aaai.v36i6.20602.
Texte intégralYang, Chao, et Yongming Li. « Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ». Fuzzy Sets and Systems 391 (juillet 2020) : 72–95. http://dx.doi.org/10.1016/j.fss.2019.07.010.
Texte intégralHONSELL, FURIO, et MARINA LENISA. « Coinductive characterizations of applicative structures ». Mathematical Structures in Computer Science 9, no 4 (août 1999) : 403–35. http://dx.doi.org/10.1017/s096012959900287x.
Texte intégralRuan, Sherry, Gheorghe Comanici, Prakash Panangaden et Doina Precup. « Representation Discovery for MDPs Using Bisimulation Metrics ». Proceedings of the AAAI Conference on Artificial Intelligence 29, no 1 (4 mars 2015). http://dx.doi.org/10.1609/aaai.v29i1.9747.
Texte intégralRuan, Sherry, Gheorghe Comanici, Prakash Panangaden et Doina Precup. « Representation Discovery for MDPs Using Bisimulation Metrics ». Proceedings of the AAAI Conference on Artificial Intelligence 29, no 1 (4 mars 2015). http://dx.doi.org/10.1609/aaai.v29i1.9701.
Texte intégralWang, Fujun, Zining Cao, Lixing Tan et Zhen Li. « Formal Modeling and Performance Evaluation for Hybrid Systems : A Probabilistic Hybrid Process Algebra-Based Approach ». International Journal of Software Engineering and Knowledge Engineering, 4 avril 2022, 1–33. http://dx.doi.org/10.1142/s0218194022500103.
Texte intégralSprunger, David, Shin-ya Katsumata, Jérémy Dubut et Ichiro Hasuo. « Fibrational bisimulations and quantitative reasoning : Extended version ». Journal of Logic and Computation, 10 septembre 2021. http://dx.doi.org/10.1093/logcom/exab051.
Texte intégralMicić, Ivana, Linh Anh Nguyen et Stefan Stanimirović. « Characterization and computation of approximate bisimulations for fuzzy automata ». Fuzzy Sets and Systems, mai 2022. http://dx.doi.org/10.1016/j.fss.2022.05.003.
Texte intégralStanimirovic, Stefan, Ivana Micic et Miroslav Ciric. « Approximate Bisimulations for Fuzzy Automata over Complete Heyting Algebras ». IEEE Transactions on Fuzzy Systems, 2020, 1. http://dx.doi.org/10.1109/tfuzz.2020.3039968.
Texte intégral