-
21
المؤلفون: Antonic, Nemanja, Khalid, A. H., Hamila, M. E., Xiong, Ning
المصدر: Lecture Notes on Data Engineering and Communications Technologies. :455-464
مصطلحات موضوعية: Bioinformatics, Controllers, Electric control equipment, Membranes, Proportional control systems, Tuning, Engineering practices, Gain tuning, Membrane algorithm, Membrane computing, Neural computing, Neural membranes, Neural-networks, Online gain tuning, Online tuning, PID controllers, Three term control systems, Neural network, PID controller
وصف الملف: print
-
22
المؤلفون: Olsson, Fredrik, Halvorsen, Kjartan, Zachariah, Dave, Mattsson, Per
المصدر: Mobile assessment of human balance IFAC-PapersOnLine. 51(15):473-478
مصطلحات موضوعية: Closed-loop identification, Inertial sensors, Nonlinear control, Controllers, DC motors, Feedback control, Inertial navigation systems, Closed loop identification, Feedback mechanisms, Identification method, Inertial sensor, Linear accelerations, Non linear control, Non-linear controllers, Parsimonious models, Nonlinear feedback
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-28645Test
https://doi.org/10.1016/j.ifacol.2018.09.190Test -
23
المؤلفون: Baumann, Christoph, Schwarz, Oliver, Dam, Mads
المصدر: Journal of Cryptographic Engineering. 9(3):243-261
مصطلحات موضوعية: ARMv8, Decomposition, Formal verification, Hypervisor, Information flow security, SoC, ARM processors, Embedded systems, Message passing, Network security, Programmable logic controllers, Specifications, System-on-chip, Abstract specifications, Embedded system specifications, Execution platforms, Security properties, Top down approaches
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-39556Test
https://doi.org/10.1007/s13389-019-00216-4Test -
24
المؤلفون: Navarro, Diego, Sundstedt, Veronica, 1979
المصدر: VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications VISIGRAPP. :103-110
مصطلحات موضوعية: Experience, Game Interaction, HTC Vive, Leap Motion, Performance, User Study, Virtual Reality, Computer control, Computer vision, Controllers, Surveys, Human computer interaction
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-18582Test
https://doi.org/10.5220/0007362401030110Test -
25
المؤلفون: Várnai, Péter, Dimarogonas, Dimos V.
المصدر: 2019 IEEE 58th Conference on Decision and Control (CDC) Proceedings of the IEEE Conference on Decision and Control. :4596-4600
مصطلحات موضوعية: Controllers, Specifications, Atomic propositions, Control policy, Controller synthesis, Input energy, Learning frameworks, Target cost, Task specifications, Temporal specification, Temporal logic
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-274107Test
https://kth.diva-portal.org/smash/get/diva2:1451502/FULLTEXT01.pdfTest -
26
المؤلفون: Nikouei, R., Rasouli, N., Tahmasebi, S., Zolfi, S., Faragardi, Hamid Reza, 1987, Fotouhi, H.
المصدر: Procedia Computer Science. :250-257
مصطلحات موضوعية: Node Placement, Quantum Annealing, Software Define Networking, Wireless Sensor Network, Annealing, Controllers, Energy conservation, Quantum theory, Sensor nodes, Ubiquitous computing, Wireless sensor networks, Minimizing the number of, Performance constraints, Reconfiguration capability, Research challenges, Software defined networking (SDN), Wireless sensor network (WSNs), Data communication systems
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-268598Test
https://doi.org/10.1016/j.procs.2019.08.036Test -
27
المؤلفون: Mubeen, Saad, Bucaioni, Alessio, 1987, Wilander, S., Eriksen, S.
المصدر: 2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA).
مصطلحات موضوعية: CAN, Controller Area Network, jitter analysis, Construction equipment, Control system synthesis, Controllers, Embedded systems, Process control, Response time (computer systems), Specifications, Analysis frameworks, Controller-area network, Embedded-system, Network messages, Real time network, Run-time analysis, Runtimes, Time jitters, Jitter
وصف الملف: print
-
28
المؤلفون: Salari, Mikael Ebrahimi, Enoiu, Eduard Paul, PhD, Afzal, Wasif, Seceleanu, Cristina, 1968
المصدر: Proceedings of the ACM Symposium on Applied Computing. :1476-1485
مصطلحات موضوعية: code translation, FBD, IEC 61131-3, PLC, pynguin, python, ST, translation validation, Accident prevention, Application programs, Automation, Programmable logic controllers, Software testing, Applications domains, Automated test generations, Development environment, Generation techniques
وصف الملف: print
-
29
المؤلفون: Salari, Mikael Ebrahimi, Enoiu, Eduard Paul, PhD, Afzal, Wasif, Seceleanu, Cristina, 1968
المصدر: Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. :10-17
مصطلحات موضوعية: EARS, PLC, Requirement Engineering, Testing, Natural language processing systems, Safety engineering, Safety testing, Software testing, Specifications, Well testing, Controller systems, Easy approach to requirement syntax, Engineering safety, Natural language requirements, Natural languages, Regulatory standards, Safety critical systems, Specification Based Testing, Traceable requirements, Programmable logic controllers
وصف الملف: print
-
30
المؤلفون: Ericsson, Sara, Enoiu, Eduard Paul
المصدر: Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018. :414-425
مصطلحات موضوعية: Accident prevention, Application programs, Combinatorial mathematics, Computer control, Computer software selection and evaluation, Efficiency, Industrial plants, Petroleum reservoir evaluation, Programmable logic controllers, Risk management, Software reliability, Bombardier Transportation, Combinatorial modeling, Combinatorial testing, Efficiency evaluation, Industrial controls, Interaction strength, Programmable Logic Controller (PLC), Test case generation, Software testing
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40745Test
https://doi.org/10.1109/QRS.2018.00055Test
https://mdh.diva-portal.org/smash/get/diva2:1246522/FULLTEXT01.pdfTest