Добірка наукової літератури з теми "Formal control models"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Formal control models".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Formal control models"
Vilihura, Vladislav, Yuriy Gorbenko, Vitaliy Yesin, and Serhiy Rassomakhin. "Using formal security models in secure databases." Physico-mathematical modelling and informational technologies, no. 32 (July 7, 2021): 70–74. http://dx.doi.org/10.15407/fmmit2021.32.070.
Повний текст джерелаBi, Henry H., and John Nolt. "Toward a Formal Semantics for Control-Flow Process Models." Journal of Database Management 23, no. 2 (April 2012): 72–97. http://dx.doi.org/10.4018/jdm.2012040104.
Повний текст джерелаBakker, Otto J., Jack C. Chaplin, Lavindra de Silva, Paolo Felli, David Sanderson, Brian Logan, and Svetan Ratchev. "Toward Process Control from Formal Models of Transformable Manufacturing Systems." Procedia CIRP 63 (2017): 521–26. http://dx.doi.org/10.1016/j.procir.2017.03.159.
Повний текст джерелаPattee, H. H. "The limitations of formal models of measurement, control, and cognition." Applied Mathematics and Computation 56, no. 2-3 (July 1993): 111–30. http://dx.doi.org/10.1016/0096-3003(93)90118-x.
Повний текст джерелаTittus, M., and B. Egardt. "On the Use of Multiple Models and Formal Control Synthesis in Batch Control." IFAC Proceedings Volumes 29, no. 1 (June 1996): 6096–101. http://dx.doi.org/10.1016/s1474-6670(17)58658-9.
Повний текст джерелаGrobelna, Iwona. "Formal Verification of Control Modules in Cyber-Physical Systems." Sensors 20, no. 18 (September 10, 2020): 5154. http://dx.doi.org/10.3390/s20185154.
Повний текст джерелаSchall, Jeffrey D., Thomas J. Palmeri, and Gordon D. Logan. "Models of inhibitory control." Philosophical Transactions of the Royal Society B: Biological Sciences 372, no. 1718 (February 27, 2017): 20160193. http://dx.doi.org/10.1098/rstb.2016.0193.
Повний текст джерелаSeidner, C., and O. H. Roux. "Formal Methods for Systems Engineering Behavior Models." IEEE Transactions on Industrial Informatics 4, no. 4 (November 2008): 280–91. http://dx.doi.org/10.1109/tii.2008.2008998.
Повний текст джерелаDas, Sukanta, and Mihir K. Chakraborty. "Formal Logic of Cellular Automata." Complex Systems 30, no. 2 (June 15, 2021): 187–203. http://dx.doi.org/10.25088/complexsystems.30.2.187.
Повний текст джерелаChen, Bo, Jia Di Qiu, and Ming Ming Chen. "Designing Access Control Policy Using Formal Concept Analysis." Applied Mechanics and Materials 602-605 (August 2014): 3822–25. http://dx.doi.org/10.4028/www.scientific.net/amm.602-605.3822.
Повний текст джерелаДисертації з теми "Formal control models"
Sieunarine, Clint Vaalmicki. "Evolving access control : formal models and analysis." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:46dde528-207c-4e86-a282-20e73a5de10c.
Повний текст джерелаAhlman, Karin. "Improving formal analysis of computerised rail traffic control systems using domain models." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-283398.
Повний текст джерелаMuhammad, W. "Assistance à l'Abstraction de Composants Virtuels pour la Vérification Rapide de Systèmes Numériques." Phd thesis, Université de Nice Sophia-Antipolis, 2008. http://tel.archives-ouvertes.fr/tel-00454617.
Повний текст джерелаMOREIRA, Anne Lorayne Gerônimo Silva Augusto. "Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução". Universidade Federal de Campina Grande, 2016. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/768.
Повний текст джерелаMade available in DSpace on 2018-05-22T14:55:43Z (GMT). No. of bitstreams: 1 ANNE LORAYNE GERÕNIMO SILVA AUGUSTO MOREIRA - DISSERTAÇÃO (PPGCC) 2016.pdf: 843001 bytes, checksum: 3c03d468b4f80d420da1bad90adf7ca0 (MD5) Previous issue date: 2016
Capes
O desenvolvimento de sistemas embarcados possibilitou uma forte expansão no número de aplicações dependentes de dispositivos programáveis em áreas tão distintas como automobilística, sistemas financeiros e sistemas médicos. Uma eventual falha em algum desses sistemas pode provocar diferentes graus de danos e prejuízos e, por isso, exige-se um alto grau de confiabilidade em seu funcionamento. O aumento da complexidade dos novos sistemas computacionais e a pressão econômica e busca de novos mercados, concorrem para a busca da redução nos prazos de entrega dos dispositivos programáveis e de seus softwares e sistemas embarcados. Este trabalho apresenta um estudo de caso para a utilização de um método de verificação formal de software aplicado a um sistema computacional de controle de fluxo adaptativo para Gateways Bluetooth Low-Energy utilizados em sistemas de monitoramento remoto de pacientes. Os resultados obtidos neste trabalho confirmam a viabilidade da aplicação do método na verificação formal do software proposto.
The embedded system development had a positive impact on the expansion of applications dependent on programmable devices inside many areas such as automotive industry, financial services, and medical systems. A failure in any of these systems can cause losses and damages on many levels. Therefore, embedded systems require a high level of reliability while operating. The increasing complexity of these new computational systems, the cost-effective pressure, and the new market demand, contribute to reduce the delivery deadlines of the programmable devices, their softwares, and embedded systems. This research presents a case study in which we evaluated the usage of a formal verification method applied to a computational controlling system, with adaptive flow, for Gateway Bluetooth Low Energy used in patient monitoring systems. The results obtained in this study confirm the application feasibility of the formal verification method of the proposed software.
Duplouy, Yann. "Applying Formal Methods to Autonomous Vehicle Control." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLN048/document.
Повний текст джерелаThis thesis takes place in the context of autonomous vehicle design, and concerns more specifically the verification of controllers of such vehicles. Our contributions are the following: (1) give a syntax and a semantics for a hybrid system model, (2) extend the capacities of the model-checker Cosmos to that kind of models, and (3) empirically confirm the relevance of our approach on typical case studies handling autonomous vehicles.We chose to combine high-level stochastic Petri nets (which is the input formalism of Cosmos) with the input formalism of Simulink, to obtain an adequate expressive power. Indeed, Simulink is largely used in the automotive industry and numerous controllers have been specified using this tool. However, there is no formal semantics for Simulink, which lead us to define such a semantics in two steps:first, we propose an exact (but not operational) semantics, then we complete it by an approximate semantics that includes the targeted approximation level.In order to combine the discrete event model of Petri nets and the continous model specified in Simulink, we define a syntactic interface that relies on new transition types; its semantics consists of an extension of the simulation loop. The evaluation of this new formalism has been entirely implemented into Cosmos.Using this new formalism, we have designed and studied the two following case studies: on one hand, a heavy traffic on a motorway segment, and on the other hand the insertion of a vehicle into a motorway. Our approach has been validated by the analysis of the corresponding models
Moeti, Sekhonyana. "Formal analysis of state estimation for nonlinear model predictive control." Master's thesis, University of Cape Town, 2015. http://hdl.handle.net/11427/20065.
Повний текст джерелаBenson, Glenn Stuart. "A formal protection model of security in distributed systems." Diss., Georgia Institute of Technology, 1989. http://hdl.handle.net/1853/12238.
Повний текст джерелаIanagui, André Seiji Sandes. "Modelagem e controle de atuador antagônico de liga de memória de forma." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-15072013-164506/.
Повний текст джерелаThis work presents the modeling, grey-box parameter estimation and control design of a force-cooled antagonistic shape memory alloy (SMA) rotational actuator, having in mind the application in robotic manipulators. The model is based on a sub-layer phase transformation approach, taking account the large non-linearities that rise from the phase-transformation dynamics (in special, the highly hysteretic dynamics). An optimization Quadratic Sequential Programming Algorithm is used to for estimate estimating the model parameters, which are hard to obtain accurately, like the such as phase transition temperatures of the shape memory alloy wires and the convection coefficient. The objective function adopted is the error between the experimentally measured position and the position obtained by means of modeling and simulation. Initial parameters for the algorithm application are taken from factory tables\' datasheets. The results are then compared and evaluated with independent open loop experiments. At last, a model based nonlinear shape memory alloy SMA control scheme is designed and simulated using the estimated model, in torque and position control modes. The control scheme applied uses limit layer and feedback linearization using based on the estimated model. This control scheme is robust to eventual mismatch between modeling and the real system. The controller is then used in an experimental model, from which results of dynamic behavior and accuracy of the controlled actuator are obtained and compared with the simulated results. At last, it is showed that the initial objectives of this work are achieved, by satisfactorily performing position and torque control with robustness, accuracy and dynamic performances adequate to the application targeted.
Brown, Douglas Graeme. "Formal network behaviour analysis using model checking." Thesis, Queensland University of Technology, 2016. https://eprints.qut.edu.au/93693/1/Douglas_Brown_Thesis.pdf.
Повний текст джерелаCohen, Raphaël P. "Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0030/document.
Повний текст джерелаThe efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety critical roles. However, this cannot happen without addressing proper attention to the soundness of these algorithms. This PhD thesis discusses the formal verification of convex optimization algorithms with a particular emphasis on receding-horizon controllers. Additionally, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the code level, thereby making it accessible for the formal methods community
Книги з теми "Formal control models"
Cortier, Véronique, and Steve Kremer. Formal models and techniques for analyzing security protocols. Amsterdam: IOS Press, 2011.
Знайти повний текст джерелаSolozhentsev, E. D. Risk Management Technologies: With Logic and Probabilistic Models. Dordrecht: Springer Netherlands, 2012.
Знайти повний текст джерелаVera, Roberto Garduño. Modelo bibliográfico basado en formatos de intercambio y en normas internacionales orientado al control bibliográfico universal. México, D.F: Universidad Nacional Autónoma de México, Centro Universitario de Investigaciones Bibliotecológicas, 1996.
Знайти повний текст джерелаVarlamov, Oleg. Mivar databases and rules. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1508665.
Повний текст джерелаVarlamov, Oleg. 18 examples of mivar expert systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1248446.
Повний текст джерелаBula Caraballo, Germán Ulises, ed. Spinoza. Bogotá. Colombia: Universidad de La Salle. Ediciones Unisalle, 2017. http://dx.doi.org/10.19052/9789585400764.
Повний текст джерелаAkat'eva, Marina. Information and communication the concept of accounting theory. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1080408.
Повний текст джерелаGámez Gutiérrez, Jorge Alberto. Emprendimiento, creatividad e innovación. Bogotá. Colombia: Universidad de La Salle. Ediciones Unisalle, 2015. http://dx.doi.org/10.19052/9789588939087.
Повний текст джерелаTAP 2010 (2010 Málaga, Spain). Tests and proofs: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings. Berlin: Springer, 2010.
Знайти повний текст джерелаContaining Russia's nuclear firebirds: Harmony and change at the International Science and Technology Center. Athens, Ga: University of Georgia Press, 2013.
Знайти повний текст джерелаЧастини книг з теми "Formal control models"
Kumar, N. V. Narendra, and R. K. Shyamasundar. "A Complete Generative Label Model for Lattice-Based Access Control Models." In Software Engineering and Formal Methods, 35–53. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66197-1_3.
Повний текст джерелаHaddad, Amal. "Meca: A Tool for Access Control Models." In B 2007: Formal Specification and Development in B, 281–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11955757_30.
Повний текст джерелаJoshi, Sanjay, Jeffrey S. Smith, and Richard A. Wysk. "Formal Models for Control of Flexible Manufacturing Systems." In Operations Research in Production Planning and Control, 184–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78063-9_12.
Повний текст джерелаSmith, Jeffrey S., and Sanjay B. Joshi. "Formal models of execution function in shop floor control." In Computer control of flexible manufacturing systems, 285–314. Dordrecht: Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-011-1230-7_11.
Повний текст джерелаClarke, Edmund, Orna Grumberg, Muralidhar Talupur, and Dong Wang. "Highlevel Verification of Control Intensive Systems Using Predicate Abstraction." In Formal Methods and Models for System Design, 159–79. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-8052-4_7.
Повний текст джерелаChen, Jessica, and Xiaoshan Zhao. "Formal Models for Web Navigations with Session Control and Browser Cache." In Formal Methods and Software Engineering, 46–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_12.
Повний текст джерелаChampion, Adrien, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, and Pierre Roux. "Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses." In Formal Methods for Industrial Critical Systems, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41010-9_1.
Повний текст джерелаLawall, Alexander. "Hypergraph-Based Access Control Using Organizational Models and Formal Language Expressions – $$\mathcal {HGAC}$$ HGAC." In Communications in Computer and Information Science, 98–119. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-30162-4_7.
Повний текст джерелаReed, JN, DM Jackson, B. Deianov, and GM Reed. "Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms." In Fundamental Approaches to Software Engineering, 239–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0053594.
Повний текст джерелаFerrari, Alessio, Gianluca Magnani, Daniele Grasso, and Alessandro Fantechi. "Model Checking Interlocking Control Tables." In FORMS/FORMAT 2010, 107–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-14261-1_11.
Повний текст джерелаТези доповідей конференцій з теми "Formal control models"
Weippl, Edgar. "Session details: Formal Techniques I." In SACMAT'17: The 22nd ACM Symposium on Access Control Models and Technologies. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3254595.
Повний текст джерелаZou, Xukai. "Session details: Formal Techniques II." In SACMAT'17: The 22nd ACM Symposium on Access Control Models and Technologies. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3254597.
Повний текст джерелаMeywerk, Tim, Arthur Niedzwiecki, Vladimir Herdt, and Rolf Drechsler. "Simulation-Based Debugging of Formal Environment Models*." In 2022 30th Mediterranean Conference on Control and Automation (MED). IEEE, 2022. http://dx.doi.org/10.1109/med54222.2022.9837055.
Повний текст джерелаGong, Haijun, Paolo Zuliani, Qinsi Wang, and Edmund M. Clarke. "Formal analysis for logical models of pancreatic cancer." In 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011). IEEE, 2011. http://dx.doi.org/10.1109/cdc.2011.6161052.
Повний текст джерелаBlaszczyk, Piotr, Wojciech Turek, and Krzysztof Cetnarowicz. "Formal model for micro-scale traffic simulation and control." In 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR). IEEE, 2013. http://dx.doi.org/10.1109/mmar.2013.6669924.
Повний текст джерелаIdani, Akram, and Mario Cortes-Cornax. "Towards a model driven formal approach for merging data, access control and business processes." In MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3417990.3420046.
Повний текст джерелаMandrioli, Claudio, Alberto Leva, and Martina Maggio. "Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking." In 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, 2018. http://dx.doi.org/10.1109/ccta.2018.8511410.
Повний текст джерелаAbdallah, Ali E., and Etienne J. Khayat. "Formal Z Specifications of Several Flat Role-Based Access Control Models." In 30th Annual IEEE/NASA Software Engineering Workshop. IEEE, 2006. http://dx.doi.org/10.1109/sew.2006.20.
Повний текст джерелаMajumdar, Rupak, Indranil Saha, and Zilong Wang. "Systematic testing for control applications." In 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). IEEE, 2010. http://dx.doi.org/10.1109/memcod.2010.5558629.
Повний текст джерелаSchiffl, Jonas, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, and Bernhard Beckert. "Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control." In SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3450569.3463574.
Повний текст джерелаЗвіти організацій з теми "Formal control models"
Roszman, Larry, Derek Armstrong, Aram Khalali, and Gwen Hickling. Dynamic Control and Formal Models of Multi-Agent Interactions and Behaviors. Fort Belvoir, VA: Defense Technical Information Center, May 2005. http://dx.doi.org/10.21236/ada435125.
Повний текст джерелаCoble, Jeff, Larry Roszman, and Tiffany Frazier. Dynamic Control and Formal Models of Multi-Agent Interactions and Behaviors. Fort Belvoir, VA: Defense Technical Information Center, February 2003. http://dx.doi.org/10.21236/ada412536.
Повний текст джерелаBobashev, Georgiy, John Holloway, Eric Solano, and Boris Gutkin. A Control Theory Model of Smoking. RTI Press, June 2017. http://dx.doi.org/10.3768/rtipress.2017.op.0040.1706.
Повний текст джерелаFuchs, Marcel, Ishaiah Segal, Ehude Dayan, and K. Jordan. Improving Greenhouse Microclimate Control with the Help of Plant Temperature Measurements. United States Department of Agriculture, May 1995. http://dx.doi.org/10.32747/1995.7604930.bard.
Повний текст джерелаBilovska, Natalia. TACTICS OF APPROACHING THE AUTHOR CLOSER TO THE READER: INTERACTIVE COOPERATION. Ivan Franko National University of Lviv, February 2022. http://dx.doi.org/10.30970/vjo.2022.51.11408.
Повний текст джерелаMaydykovskiy, Igor. Consciousness as a new form of the matter’s state. Intellectual Archive, August 2021. http://dx.doi.org/10.32370/iaj.2555.
Повний текст джерелаHeide-Ottosen, Sif, Yahye Abdi, Abdullahi Ahmed Nor, James Khalil, and Martine Zeuthen. Journeys through Extremism: The Experiences of Former Members of Al-Shabaab. RESOLVE Network, October 2022. http://dx.doi.org/10.37805/cbags2022.3.
Повний текст джерелаCarrillo-Maldonado, Paul, Karla Arias, Wladimir Zanoni, Zoe Cruz, and Sebastián Ruiz. Local Socieconomic Impacts of Large-scale Mining Projects in Ecuador: The Case of Fruta del Norte. Inter-American Development Bank, January 2023. http://dx.doi.org/10.18235/0004693.
Повний текст джерелаOhad, Nir, and Robert Fischer. Control of Fertilization-Independent Development by the FIE1 Gene. United States Department of Agriculture, August 2000. http://dx.doi.org/10.32747/2000.7575290.bard.
Повний текст джерелаLandau, Sergei Yan, John W. Walker, Avi Perevolotsky, Eugene D. Ungar, Butch Taylor, and Daniel Waldron. Goats for maximal efficacy of brush control. United States Department of Agriculture, March 2008. http://dx.doi.org/10.32747/2008.7587731.bard.
Повний текст джерела