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

Authors: Hardy, Ruth

Subject Terms: 004.01, TJ223.M53H2, Automatic control--Computer programs--Mathematics, Formal methods (Computer science), Automatic theorem proving

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/827855

A neuro-adaptive autopilot design for guided munitions

Authors: Sharma, Manu

Subject Terms: Neural networks (Computer science), Vehicles, Remotely piloted, Nonlinear control theory, Automatic control Computer programs, Flight control

File Description: 236 bytes; text/html

Availability: http://hdl.handle.net/1853/12470

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

Authors: Xiong, Huanxin Henry

Source: Dissertations

Subject Terms: Flexible manufacturing systems, Petri nets--Industrial applications, Automatic control--Computer programs, Electrical and Electronics

File Description: application/pdf

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

Availability: 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

Authors: Alfredo Moreno Muñoz

Resource Type: eBook.

Subjects: 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

Authors: Ezzo, Randall C.

Source: Theses

Subject Terms: Nuclear power plants -- Automatic control, Nuclear power plants -- Automatic control -- Computer programs, Control theory -- Computer programs, Electrical and Electronics

File Description: application/pdf

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

Availability: 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

Authors: Brandon Perry

Resource Type: eBook.

Subjects: 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

Authors: Vendrell Torres, Miquel

Contributors: Isturiz Mota, Alvaro, Martínez Teixidor, Inmaculada, Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Airtificial Intelligent Robots

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: 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

File Description: application/pdf

Access URL: http://hdl.handle.net/2117/344169
https://hdl.handle.net/2117/344169

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

Authors: Eugenio López Aldea

Resource Type: eBook.

Subjects: Arduino (Programmable controller), Automatic control--Computer programs, Electronics--Data processing

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

Automated Software and Service Composition

Authors: Felix Mohr

Resource Type: eBook.

Subjects: 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

Authors: Romero Rodriguez, Daniel

Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Escobet Canal, Teresa, Soler Jiménez, David

Subject Terms: À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

File Description: application/pdf

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

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

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

Authors: López Pérez, Èric

Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Escobet Canal, Teresa, Martínez Teixidor, Inmaculada

Subject Terms: À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

File Description: application/pdf

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

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

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

Authors: Richard Grimmett

Resource Type: eBook.

Subjects: 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

Authors: Vicedo López, Ferran

Contributors: Escobet Canal, Teresa, Soler Jiménez, David, Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/127343
http://hdl.handle.net/2117/127343

Control i monitorització d'una peixera

Authors: Torres Farràs, Jordi

Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Palà Schönwälder, Pere

Subject Terms: À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

File Description: application/pdf

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

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

Arduino and Kinect Projects

Authors: Enrique Ramos Melgar, Ciriaco Castro Diez

Resource Type: eBook.

Subjects: 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

Authors: Tero Karvinen, Kimmo Karvinen

Resource Type: eBook.

Subjects: 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

Authors: 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

Source: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Subject Terms: 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

File Description: 168 p. : il.; application/pdf

Availability: http://repositorio.unicamp.br/jspui/handle/REPOSIP/266123

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

Authors: Tero Karvinen, Kimmo Karvinen

Resource Type: eBook.

Subjects: 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

Authors: John-David Warren, Josh Adams, Harald Molle

Resource Type: eBook.

Subjects: 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

Authors: Alvarez Serrano, Sergio

Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC, Delis Ramos, Francisco Manuel

Subject Terms: À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

File Description: application/pdf

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

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