Littérature scientifique sur le sujet « Approximate bisimulation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « 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.
Articles de revues sur le sujet "Approximate bisimulation"
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égralThèses sur le sujet "Approximate bisimulation"
Savo, Đukić. « Redukcija dinamičkih modela elektroenergetskog sistema primenom teorije balansnih realizacija i aproksimativnih bisimulacionih relacija i funkcija ». Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2014. http://dx.doi.org/10.2298/NS20131213DJUKIC.
Texte intégralDissertation describes the existing dynamic model reduction techniques used in control theory and existing techniques that are used for the reduction (equivalencing) of power system dynamic models. A new approach to physics-based reduction of power system dynamic model based on the balanced realization theory is proposed. Use of approximate bisimulation relations for reduction of power system dynamic models is also proposed. Existing techniques and proposed approaches and algorithms are applied to reduce the dynamic models of two considered test systems.
PANAROTTO, Federica. « Measures on probabilistic automata ». Doctoral thesis, 2017. http://hdl.handle.net/11562/913985.
Texte intégralIn this thesis we consider nondeterministic probabilistic processes modeled by automata. Our purpose is the analysis of the problem of approximated bisimulations. These relations are used, generally, to simplify the models of some systems and to model agents and attackers in security protocols. For the latter field there are several proposals to use metrics, which are the quantitative analogue of probabilistic bisimilarity and allow a greater precision. A metric is about a degree of similarity between states. Starting from the formalisation of approximate (bi)simulation given in Turrini's work, we define two metrics on states and on distributions. These metrics are based on the concept of error allowed during the simulation of a state with respect to another one. We investigate the relation between these metrics with a largely used one, the Kantorovich metric, and discover that they are equivalent. Then we recast for probabilistic automata the transformer of measures proposed by De Alfaro et al., obtaining a new functional F that is a conservative extension of the transformers proposed in the literature. We show that the minimum fix point of F coincides with its over-aproximated by the measures derived from Turrini's work thus showing the existence of a strict relation between the Turrini’s approximate bisimulations with the literature on metrics.
Livres sur le sujet "Approximate bisimulation"
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs. New York, NY : Springer New York, 2001.
Trouver le texte intégralChapitres de livres sur le sujet "Approximate bisimulation"
Yan, Gaogao, Li Jiao, Yangjia Li, Shuling Wang et Naijun Zhan. « Approximate Bisimulation and Discretization of Hybrid CSP ». Dans FM 2016 : Formal Methods, 702–20. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48989-6_43.
Texte intégralBian, Gaoang, et Alessandro Abate. « On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context ». Dans Lecture Notes in Computer Science, 321–37. Berlin, Heidelberg : Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54458-7_19.
Texte intégralHarwood, Will, Faron Moller et Anton Setzer. « Weak Bisimulation Approximants ». Dans Computer Science Logic, 365–79. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11874683_24.
Texte intégralWild, Paul, et Lutz Schröder. « A Quantified Coalgebraic van Benthem Theorem ». Dans Lecture Notes in Computer Science, 551–71. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_28.
Texte intégralMurthy, Abhishek, Md Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka et Radu Grosu. « Approximate Bisimulations for Sodium Channel Dynamics ». Dans Computational Methods in Systems Biology, 267–87. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33636-2_16.
Texte intégralAbate, Alessandro, Marta Kwiatkowska, Gethin Norman et David Parker. « Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ». Dans Lecture Notes in Computer Science, 40–58. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06880-0_2.
Texte intégralActes de conférences sur le sujet "Approximate bisimulation"
Pan, Haiyu, Min Zhang, Yixiang Chen et Hengyang Wu. « Approximate Bisimulation for Metric Doubly Labeled Transition System ». Dans 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2011. http://dx.doi.org/10.1109/tase.2011.22.
Texte intégralJulius, A. A., A. Girard et G. J. Pappas. « Approximate bisimulation for a class of stochastic hybrid systems ». Dans 2006 American Control Conference. IEEE, 2006. http://dx.doi.org/10.1109/acc.2006.1657467.
Texte intégralPola, Giordano, Antoine Girard et Paulo Tabuada. « Symbolic models for nonlinear control systems using approximate bisimulation ». Dans 2007 46th IEEE Conference on Decision and Control. IEEE, 2007. http://dx.doi.org/10.1109/cdc.2007.4434911.
Texte intégralXu, Xiangru, Necmiye Ozay et Vijay Gupta. « Passivity degradation in discrete control implementations : An approximate bisimulation approach ». Dans 2015 54th IEEE Conference on Decision and Control (CDC). IEEE, 2015. http://dx.doi.org/10.1109/cdc.2015.7403293.
Texte intégralXiang, Weiming, et Zhongzhu Shao. « Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression ». Dans 2022 American Control Conference (ACC). IEEE, 2022. http://dx.doi.org/10.23919/acc53348.2022.9867845.
Texte intégralDukic, Savo D., Andrija T. Saric et Aleksandar M. Stankovic. « Approximate bisimulation-based reduction of power system dynamic model with application to transient stability analysis ». Dans 2013 North American Power Symposium (NAPS). IEEE, 2013. http://dx.doi.org/10.1109/naps.2013.6666882.
Texte intégralMa, Guoqi, Linlin Qin, Xinghua Liu, Chun Shi et Gang Wu. « Approximate bisimulations for constrained discrete-time linear systems (ICCAS 2015) ». Dans 2015 15th International Conference on Control, Automation and Systems (ICCAS). IEEE, 2015. http://dx.doi.org/10.1109/iccas.2015.7364774.
Texte intégralMa, Guoqi, et Xinghua Liu. « Analysis for a class of discrete-time switched systems via approximate bisimulations ». Dans 2016 12th World Congress on Intelligent Control and Automation (WCICA). IEEE, 2016. http://dx.doi.org/10.1109/wcica.2016.7578722.
Texte intégralWild, Paul, Lutz Schröder, Dirk Pattinson et Barbara König. « A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic ». Dans Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California : International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/263.
Texte intégral