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

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

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

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

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

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

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

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

Disseny d’una estació automatitzada de control de nivell, pressió i cabal

Συγγραφείς: Romero Rodriguez, Daniel

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Escobet Canal, Teresa, Soler Jiménez, David

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Automatic control--Computer programs, Programmable logic devices, Water tanks, Water-storage, Automatic control, Aigua -- Emmagatzematge, Dispositius lògics programables, Control automàtic

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

Relation: https://hdl.handle.net/2117/128136

Διαθεσιμότητα: https://hdl.handle.net/2117/128136

Disseny d’una interfície HMI pel control i monitorització de l’estació IPC201-C

Συγγραφείς: López Pérez, Èric

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Escobet Canal, Teresa, Martínez Teixidor, Inmaculada

Θεματικοί όροι: Àrees temàtiques de la UPC::Enginyeria electrònica, Automatic control--Computer programs, Human-machine systems, Human-computer interaction, Control automàtic -- Aparells i instruments, Interfícies d'usuari (Informàtica), Interacció persona-ordinador

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

Relation: https://hdl.handle.net/2117/119708

Διαθεσιμότητα: https://hdl.handle.net/2117/119708

Arduino Robotic Projects : Build Awesome and Complex Robots with the Power of Arduino.

Συγγραφείς: Richard Grimmett

Resource Type: eBook.

Θέματα: Automatic control--Computer programs, Embedded computer systems--Design and construction, Robots--Control systems

Categories: COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Educational Software, COMPUTERS / Languages / C

Disseny i automatització d'un control de sistema de tancs interconnectats

Συγγραφείς: Vicedo López, Ferran

Συνεισφορές: Escobet Canal, Teresa, Soler Jiménez, David, Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Informàtica::Automàtica i control [Àrees temàtiques de la UPC], Dispositius lògics programables, Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Programmable logic devices, Control automàtic -- Programes d'ordinador, Water tanks, Dipòsits d'aigua, Automatic control--Computer programs

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

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

Control i monitorització d'una peixera

Συγγραφείς: Torres Farràs, Jordi

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Palà Schönwälder, Pere

Θεματικοί όροι: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Processament del senyal, Aquariums--Equipment and supplies, Automatic control--Computer programs, Aquaris, Control automàtic -- Programes d'ordinador

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

Relation: https://hdl.handle.net/2117/101640

Διαθεσιμότητα: https://hdl.handle.net/2117/101640

Arduino and Kinect Projects

Συγγραφείς: Enrique Ramos Melgar, Ciriaco Castro Diez

Resource Type: eBook.

Θέματα: Multimodal user interfaces (Computer systems), Kinect (Programmable controller), Arduino (Programmable controller), Automatic control--Computer programs, Programmable controllers, Three-dimensional imaging

Categories: COMPUTERS / Hardware / General, COMPUTERS / Software Development & Engineering / General

Make a Mind-Controlled Arduino Robot : Use Your Brain As a Remote

Συγγραφείς: Tero Karvinen, Kimmo Karvinen

Resource Type: eBook.

Θέματα: Automatic control--Computer programs, Robots--Control systems, Robots--Design and construction

Categories: COMPUTERS / Hardware / General

Estudo e implementação de estruturas de controle reconfigurável aplicado a processos químicos

Study and implementation of reconfigurable control structures applied to chemical processes

Συγγραφείς: Costa, Thiago Vaz da, 1982

Thesis Advisors: UNIVERSIDADE ESTADUAL DE CAMPINAS, Silva, Flávio Vasconcelos da, 1971, Júnior, Maurício Bezerra de Souza, Silva, Cláudio Homero Ferreira da, Junior, Vivaldo Silveira, Cruz, Antonio Jose Gonçalves da

Πηγή: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Θεματικοί όροι: Controle de processos químicos, Controle preditivo, Automação, Falha de sistema (Engenharia), Controle automático - Programas de computador, Chemical process control, Predictive control, Automation, System Failure (Engineering), Automatic control - Computer programs

Περιγραφή αρχείου: 168 p. : il.; application/pdf

Διαθεσιμότητα: http://repositorio.unicamp.br/jspui/handle/REPOSIP/266123

Make: Arduino Bots and Gadgets : Six Embedded Projects with Open Source Hardware and Software

Συγγραφείς: Tero Karvinen, Kimmo Karvinen

Resource Type: eBook.

Θέματα: Embedded computer systems--Design and construction, Automatic control--Computer programs, Robots--Control systems

Categories: COMPUTERS / Languages / General, COMPUTERS / Computer Engineering, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Robotics

Arduino Robotics

Συγγραφείς: John-David Warren, Josh Adams, Harald Molle

Resource Type: eBook.

Θέματα: Robots--Control systems, Automatic control--Computer programs, Embedded computer systems--Design and construction

Categories: COMPUTERS / Hardware / General

Modelatge i disseny d'un sistema ball & plate

Συγγραφείς: Alvarez Serrano, Sergio

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Delis Ramos, Francisco Manuel

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Automatic control--Computer programs, Arduino (Computer language), MATLAB, Servomechanisms, Arduino, Control automàtic, Servomotors, Control automàtic -- Programes d'ordinador, Servosistemes

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

Relation: https://hdl.handle.net/2117/81202

Διαθεσιμότητα: https://hdl.handle.net/2117/81202