Статті в журналах з теми "Formal control models"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Formal control models".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерелаLieder, F., and G. Iwama. "Toward a formal theory of proactivity." Cognitive, Affective, & Behavioral Neuroscience 21, no. 3 (March 15, 2021): 490–508. http://dx.doi.org/10.3758/s13415-021-00884-y.
Повний текст джерелаValiño, V., A. Perdigones, and J. Cerro. "DEVELOPMENT OF FORMAL DYNAMIC MODELS WITH MICROSOFT EXCEL FOR GREENHOUSE CLIMATE CONTROL." Acta Horticulturae, no. 802 (December 2008): 111–16. http://dx.doi.org/10.17660/actahortic.2008.802.12.
Повний текст джерелаJoshi, S. B., E. G. Mettala, J. S. Smith, and R. A. Wysk. "Formal models for control of flexible manufacturing cells: physical and system model." IEEE Transactions on Robotics and Automation 11, no. 4 (1995): 558–70. http://dx.doi.org/10.1109/70.406940.
Повний текст джерелаKobeissi, Elodie, Pierre-Yves Piriou, and Jean-Marc Faure. "Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems." IFAC-PapersOnLine 50, no. 1 (July 2017): 11144–49. http://dx.doi.org/10.1016/j.ifacol.2017.08.1224.
Повний текст джерелаTIKHONOV, VALERY A., and VLADIMIR A. NOVIKOV. "VERIFICATION OF ACCESS CONTROL SYSTEMS BASED ON MODELING WITH COLORED PETRI NETS." H&ES Research 13, no. 6 (2021): 50–59. http://dx.doi.org/10.36724/2409-5419-2021-13-6-50-59.
Повний текст джерелаSelvaraj, Yuvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, and Martin Fabian. "Automatically Learning Formal Models from Autonomous Driving Software." Electronics 11, no. 4 (February 18, 2022): 643. http://dx.doi.org/10.3390/electronics11040643.
Повний текст джерелаGao, Xiaodan, Viktoria Hnatkovska, and Vadim Marmer. "Limited participation in international business cycle models: A formal evaluation." Journal of Economic Dynamics and Control 39 (February 2014): 255–72. http://dx.doi.org/10.1016/j.jedc.2013.12.006.
Повний текст джерелаNovikov, Dmitry. "Models of Strategic Decision-Making under Informational Control." Mathematics 9, no. 16 (August 9, 2021): 1889. http://dx.doi.org/10.3390/math9161889.
Повний текст джерелаGouglidis, Antonios, Christos Grompanopoulos, and Anastasia Mavridou. "Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+." Electronic Proceedings in Theoretical Computer Science 272 (June 25, 2018): 52–64. http://dx.doi.org/10.4204/eptcs.272.5.
Повний текст джерелаZhao, Chunna, Murong Jiang, and Yaqun Huang. "Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic." Fractal and Fractional 6, no. 9 (August 30, 2022): 485. http://dx.doi.org/10.3390/fractalfract6090485.
Повний текст джерелаChinchali, Sandeep P., Scott C. Livingston, Mo Chen, and Marco Pavone. "Multi-objective optimal control for proactive decision making with temporal logic models." International Journal of Robotics Research 38, no. 12-13 (August 15, 2019): 1490–512. http://dx.doi.org/10.1177/0278364919868290.
Повний текст джерелаStrljic, Daniella, Annika Kienzlen, and Oliver Riedel. "Formale Sprachen für Fabriksimulation/Comparative Analysis of Description Models and Languages for Factory Simulation – Formal Languages for Factory Simulation." wt Werkstattstechnik online 112, no. 04 (2022): 221–26. http://dx.doi.org/10.37544/1436-4980-2022-04-21.
Повний текст джерелаPong, Fong, and Michel Dubois. "Formal verification of complex coherence protocols using symbolic state models." Journal of the ACM 45, no. 4 (July 1998): 557–87. http://dx.doi.org/10.1145/285055.285057.
Повний текст джерелаEl Hichami, Outman, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, and Badr Eddine El Mohajir. "An Algebraic Method for Analysing Control Flow of BPMN Models." International Journal of Recent Contributions from Engineering, Science & IT (iJES) 3, no. 3 (October 19, 2015): 20. http://dx.doi.org/10.3991/ijes.v3i3.4862.
Повний текст джерелаGokhale, Sheetal, Ashwini Dalvi, and Irfan Siddavatam. "Industrial Control Systems Honeypot: A Formal Analysis of Conpot." International Journal of Computer Network and Information Security 12, no. 6 (December 8, 2020): 44–56. http://dx.doi.org/10.5815/ijcnis.2020.06.04.
Повний текст джерелаde Silva, Lavindra, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, and Svetan Ratchev. "Synthesising process controllers from formal models of transformable assembly systems." Robotics and Computer-Integrated Manufacturing 58 (August 2019): 130–44. http://dx.doi.org/10.1016/j.rcim.2019.01.014.
Повний текст джерелаLópez, Joaquín, Alejandro Santana-Alonso, and Miguel Díaz-Cacho Medina. "Formal Verification for Task Description Languages. A Petri Net Approach." Sensors 19, no. 22 (November 14, 2019): 4965. http://dx.doi.org/10.3390/s19224965.
Повний текст джерелаVilihura, V. V. "Analysis of formal models for access control and specific features of their applicability to databases." Radiotekhnika, no. 205 (July 2, 2021): 53–70. http://dx.doi.org/10.30837/rt.2021.2.205.05.
Повний текст джерелаKlimis, Vasileios, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson. "Taking Back Control in an Intermediate Representation for GPU Computing." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 1740–69. http://dx.doi.org/10.1145/3571253.
Повний текст джерелаTürke, Ralf‐Eckhard. "Role and contribution of formal models to governing: a heuristic." Kybernetes 39, no. 9/10 (October 19, 2010): 1566–82. http://dx.doi.org/10.1108/03684921011081178.
Повний текст джерелаWang, Feng Qin, and Heng Jin Ke. "Control Flow Analyze for Procedure Blueprint." Applied Mechanics and Materials 58-60 (June 2011): 1061–66. http://dx.doi.org/10.4028/www.scientific.net/amm.58-60.1061.
Повний текст джерелаHsieh, Fu-Shiung. "Design of reconfiguration mechanism for holonic manufacturing systems based on formal models." Engineering Applications of Artificial Intelligence 23, no. 7 (October 2010): 1187–99. http://dx.doi.org/10.1016/j.engappai.2010.05.008.
Повний текст джерелаKucherov, Mikhail M., and Nina A. Bogulskaya. "Trilattice-Based Access Control Models: How to Secure Current Computer Network." MATEC Web of Conferences 210 (2018): 04053. http://dx.doi.org/10.1051/matecconf/201821004053.
Повний текст джерелаCRAIG, IAIN D. "FORMAL TECHNIQUES IN THE DEVELOPMENT OF BLACKBOARD SYSTEMS." International Journal of Pattern Recognition and Artificial Intelligence 07, no. 02 (April 1993): 197–219. http://dx.doi.org/10.1142/s021800149300011x.
Повний текст джерелаSong, Xiao, and Wen Shi. "Impact of Informal Network on Opinion Dynamics in Command and Control Network." Applied Mechanics and Materials 764-765 (May 2015): 919–23. http://dx.doi.org/10.4028/www.scientific.net/amm.764-765.919.
Повний текст джерелаFu, Yujian, Zhijiang Dong, and Xudong He. "Formal Modeling and Analysis of Collaborative Humanoid Robotics." International Journal of Robotics Applications and Technologies 6, no. 1 (January 2018): 34–54. http://dx.doi.org/10.4018/ijrat.2018010103.
Повний текст джерелаTsoukalas, Lefteri H. "Neurofuzzy Anticipatory Systems: A New Approach to Intelligent Control." International Journal on Artificial Intelligence Tools 06, no. 03 (September 1997): 365–95. http://dx.doi.org/10.1142/s0218213097000207.
Повний текст джерелаFlorêncio, Marina, Lídia Oliveira, and Helena Costa Oliveira. "Management Control Systems and the Integration of the Sustainable Development Goals into Business Models." Sustainability 15, no. 3 (January 25, 2023): 2246. http://dx.doi.org/10.3390/su15032246.
Повний текст джерелаChampion, Adrien, Rémi Delmas, Michael Dierkes, Pierre-loic Garoche, Romain Jobredeaux, and Pierre Roux. "Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses." SAE International Journal of Aerospace 6, no. 1 (September 17, 2013): 150–60. http://dx.doi.org/10.4271/2013-01-2109.
Повний текст джерелаPlummer, Elizabeth. "The Effects of Protest Format and Agent Use on Residential Appeals Adjustments." Journal of the American Taxation Association 37, no. 1 (December 1, 2014): 205–36. http://dx.doi.org/10.2308/atax-50990.
Повний текст джерелаFüchslin, Rudolf M., Andrej Dzyakanchuk, Dandolo Flumini, Helmut Hauser, Kenneth J. Hunt, Rolf H. Luchsinger, Benedikt Reller, Stephan Scheidegger, and Richard Walker. "Morphological Computation and Morphological Control: Steps Toward a Formal Theory and Applications." Artificial Life 19, no. 1 (January 2013): 9–34. http://dx.doi.org/10.1162/artl_a_00079.
Повний текст джерелаAbate, Alessandro, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. "Automated formal synthesis of provably safe digital controllers for continuous plants." Acta Informatica 57, no. 1-2 (December 6, 2019): 223–44. http://dx.doi.org/10.1007/s00236-019-00359-1.
Повний текст джерелаMitsch, Stefan, Khalil Ghorbal, David Vogelbacher, and André Platzer. "Formal verification of obstacle avoidance and navigation of ground robots." International Journal of Robotics Research 36, no. 12 (October 2017): 1312–40. http://dx.doi.org/10.1177/0278364917733549.
Повний текст джерелаPashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu Pashchenko, Mikhail Yu Babich, and Mikhail M. Butaev. "Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic." Nexo Revista Científica 34, no. 01 (April 12, 2021): 01–12. http://dx.doi.org/10.5377/nexo.v34i01.11278.
Повний текст джерелаChama, Wafa, Allaoua Chaoui, and Seidali Rehab. "Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars." International Journal of Embedded and Real-Time Communication Systems 6, no. 2 (April 2015): 48–64. http://dx.doi.org/10.4018/ijertcs.2015040103.
Повний текст джерелаDou, Tiantian, Yuri Kaszubowski Lopes, Peter Rockett, Elizabeth A. Hathway, and Esmail Saber. "GPML: an XML-based standard for the interchange of genetic programming trees." Genetic Programming and Evolvable Machines 21, no. 4 (November 27, 2019): 605–27. http://dx.doi.org/10.1007/s10710-019-09370-4.
Повний текст джерелаKINANE, CHRISTINA M. "Control without Confirmation: The Politics of Vacancies in Presidential Appointments." American Political Science Review 115, no. 2 (February 15, 2021): 599–614. http://dx.doi.org/10.1017/s000305542000115x.
Повний текст джерелаBurenkov, Vladimir Sergeevich. "Formal Verification of a Mandatory Integrity Control Model for the KasperskyOS Operating System." Proceedings of the Institute for System Programming of the RAS 32, no. 6 (2020): 31–48. http://dx.doi.org/10.15514/ispras-2020-32(6)-3.
Повний текст джерелаARNOLD, J. ANDREW, and JOHN C. KUNZ. "Integrating product models with engineering analysis applications: Two case studies." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 14, no. 2 (April 2000): 137–47. http://dx.doi.org/10.1017/s0890060400142039.
Повний текст джерелаEkster, Alex, Vasiliy Alchakov, Ivan Meleshin, and Alexandr Larionenko. "Modeling Performance of Butterfly Valves Using Machine Learning Methods." Sustainability 13, no. 24 (December 7, 2021): 13545. http://dx.doi.org/10.3390/su132413545.
Повний текст джерела