Formal methods for control engineering : a validated decision procedure for Nichols plot analysis

Συγγραφείς: Hardy, Ruth

Θεματικοί όροι: 004.01, TJ223.M53H2, Automatic control--Computer programs--Mathematics, Formal methods (Computer science), Automatic theorem proving

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/827855

Design of verified logic control programs

Συγγραφείς: Lohmann, Sven, Lan Anh Dinh Thi, Stursberg, Olaf

Πηγή: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. :1855-1860 Oct, 2006

Relation: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control

Automated test methodology for Operational Flight Programs

Συγγραφείς: Savage, P., Walters, S., Stephenson, M.

Πηγή: 1997 IEEE Aerospace Conference Aerospace Aerospace Conference, 1997. Proceedings., IEEE. 4:293-304 vol.4 1997

Relation: 1997 IEEE Aerospace Conference

A proposal on the mechatronics education for marine engineering programs.

Συγγραφείς: Inal, Omer Berkehan, Kocak, Gazi

Πηγή: Australian Journal of Maritime & Ocean Affairs; Dec2025, Vol. 17 Issue 4, p601-615, 15p

Θεματικοί όροι: Mechatronics, Marine engineering, Naval education, Outcome-based education, Technological innovations, Curriculum planning, Certification

A neuro-adaptive autopilot design for guided munitions

Συγγραφείς: Sharma, Manu

Θεματικοί όροι: Neural networks (Computer science), Vehicles, Remotely piloted, Nonlinear control theory, Automatic control Computer programs, Flight control

Περιγραφή αρχείου: 236 bytes; text/html

Διαθεσιμότητα: http://hdl.handle.net/1853/12470

Design of an advanced control algorithm for a nuclear power plant feedwater control system

Συγγραφείς: Ezzo, Randall C.

Πηγή: Theses

Θεματικοί όροι: Nuclear power plants -- Automatic control, Nuclear power plants -- Automatic control -- Computer programs, Control theory -- Computer programs, Electrical and Electronics

Περιγραφή αρχείου: application/pdf

Relation: https://digitalcommons.njit.edu/theses/2475; https://digitalcommons.njit.edu/context/theses/article/3489/viewcontent/njit_etd1991_108.pdf

Διαθεσιμότητα: https://digitalcommons.njit.edu/theses/2475
https://digitalcommons.njit.edu/context/theses/article/3489/viewcontent/njit_etd1991_108.pdf

Key words:multi-label learning; label complexity; feature complexity; sample complexity. (English)

Συγγραφείς: CHEN, Ran, SHI, Yaqing, HUANG, Song

Πηγή: Journal of Computer Engineering & Applications; 2026, Vol. 62 Issue 11, p90-103, 14p

Θεματικοί όροι: Heuristic, Computer software testing, Automatic test equipment

Scheduling and discrete event control of flexible manufacturing systems based on Petri nets

Συγγραφείς: Xiong, Huanxin Henry

Πηγή: Dissertations

Θεματικοί όροι: Flexible manufacturing systems, Petri nets--Industrial applications, Automatic control--Computer programs, Electrical and Electronics

Περιγραφή αρχείου: application/pdf

Relation: https://digitalcommons.njit.edu/dissertations/1026; https://digitalcommons.njit.edu/context/dissertations/article/2081/viewcontent/njit_etd1996_110.pdf

Διαθεσιμότητα: https://digitalcommons.njit.edu/dissertations/1026
https://digitalcommons.njit.edu/context/dissertations/article/2081/viewcontent/njit_etd1996_110.pdf

Multigranularity Evolutionary Method for Cooptimization of Space Robot Design and Control for Different Targets.

Συγγραφείς: Xie, Shucong, Zhu, Haijiang, Dong, Yunfeng

Πηγή: Journal of Aerospace Engineering; May2026, Vol. 39 Issue 3, p1-13, 13p

Θεματικοί όροι: Robot design & construction, Evolutionary algorithms, Subroutines (Computer programs), Multi-objective optimization, Genetic programming, Operations research, Space robotics

Automatic testing of multimedia units

Συγγραφείς: Wirth, Vaclav, Blecha, Tomas, Herc, Ladislav, Klocker, Lukas, Linhart, Richard, Rendl, Karel, Sehnal, Petr, Steiner, Frantisek

Πηγή: 2012 35th International Spring Seminar on Electronics Technology Electronics Technology (ISSE), 2012 35th International Spring Seminar on. :207-212 May, 2012

Relation: 2012 35th International Spring Seminar on Electronics Technology (ISSE)

Arduino. Edición 2018 Curso práctico

Συγγραφείς: Alfredo Moreno Muñoz

Resource Type: eBook.

Θέματα: Automatic control--Computer programs, Electronics--Data processing, Arduino (Programmable controller)

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / Hardware / Chips & Processors

Automated generation and evaluation of control programs for discrete manufacturing processes

Συγγραφείς: Krogh, B.H., Willson, R., Pathak, D.

Πηγή: [Proceedings] 1988 International Conference on Computer Integrated Manufacturing Computer Integrated Manufacturing, 1988., International Conference on. :92-99 1988

Relation: 1988 International Conference on Computer Integrated Manufacturing

Automatic content-based classification of audio

Συγγραφείς: Templar Hankinson.

Θεματικοί όροι: Automatic control Computer programs, Content analysis (Communication) Automatic classification, Information retrieval Computer programs, Speech processing systems Automatic speech recognition

Διαθεσιμότητα: https://doi.org/10.26180/14928192.v1
https://figshare.com/articles/thesis/Automatic_content-based_classification_of_audio/14928192

Desenvolupament del software de control i monitorització d’un procés de premsat per al muntatge de sensors en banc de laboratori

Συγγραφείς: Vendrell Torres, Miquel

Συνεισφορές: Isturiz Mota, Alvaro, Martínez Teixidor, Inmaculada, Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Airtificial Intelligent Robots

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Programació de sistemes (Informàtica), Informàtica::Automàtica i control [Àrees temàtiques de la UPC], Premses -- Automatització, Power presses -- Automation, Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Control automàtic -- Programes d'ordinador, Automatic control -- Computer programs, Detectors -- Industrial applications, Systems programming (Computer science), Detectors -- Aplicacions industrials

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/344169
https://hdl.handle.net/2117/344169

Prototype Software for Automatic Generation of On-Line Control Programs for Discrete Manufacturing Processes.

Συγγραφείς: CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST, Ekberg,Gregg, Krogh,Bruce H.

Πηγή: DTIC AND NTIS

Όροι ευρετηρίου: Computer Programming and Software, Mfg & Industrial Eng & Control of Product Sys, COMPUTER PROGRAM DOCUMENTATION, COMPUTER AIDED MANUFACTURING, COMPUTER PROGRAMS, USER MANUALS, CONTROL, DETECTORS, PROTOTYPES, SIGNALS, ACTUATORS, ONLINE SYSTEMS, MENU, CONTROL SEQUENCES, CONVEYORS., C programming language, D Build (Data Base Builder), D Build programming language, PROGGEN(Program Generator), PROGGEN computer program, Text

Σύνδεσμος: https://apps.dtic.mil/docs/citations/ADA179309

Gray Hat C# : A Hacker's Guide to Creating and Automating Security Tools

Συγγραφείς: Brandon Perry

Resource Type: eBook.

Θέματα: C# (Computer program language), Automatic control--Computer programs, Computer security

Categories: COMPUTERS / Languages / C#, COMPUTERS / Information Technology, COMPUTERS / Security / General

基于触摸屏 PLC 智能下单的机器人码垛系统设计与验证. (Chinese)

Alternate Title: Design and Verification of Robot Palletizing System Based on Touch Screen PLC Intelligent Ordering. (English)

Συγγραφείς: 余丰闯, 陈泽龙, 陈泽森

Πηγή: Mechanical & Electrical Engineering Technology; May2026, Vol. 55 Issue 9, p123-128, 6p

Development of a UAV Flight Control Computer for High Altitude Environments and the Results of Observation Flights in Antarctica.

Συγγραφείς: Tsutsumi, Masataka, Higashino, Shin-Ichiro, Hayashi, Masahiko

Πηγή: Journal of Robotics & Mechatronics; Oct2024, Vol. 36 Issue 5, p1179-1188, 10p

Θεματικοί όροι: Pulse width modulation, Automation, Scientific observation, Flight testing, Low temperatures, Computer equipment

Γεωγραφικοί όροι: Antarctica

Arduino. Guía práctica de fundamentos y simulación

Συγγραφείς: Eugenio López Aldea

Resource Type: eBook.

Θέματα: Arduino (Programmable controller), Automatic control--Computer programs, Electronics--Data processing

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Engineering

Automated Software and Service Composition

Συγγραφείς: Felix Mohr

Resource Type: eBook.

Θέματα: Computer software--Development, Automatic control--Computer programs, Computer programming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Software Development & Engineering / Project Management