Literatura científica selecionada sobre o tema "Modelado y control"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Modelado y control".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Modelado y control":
Bravo, Diego A., Carlos F. Rengifo R. e Luis F. Moncayo M. "Modelado y control de un sistema de levitación magnética". Journal de Ciencia e Ingeniería 13, n.º 1 (17 de fevereiro de 2021): 1–12. http://dx.doi.org/10.46571/jci.2021.1.1.
Tomás-Rodríguez, M., e M. Santos. "Modelado y control de turbinas eólicas marinas flotantes". Revista Iberoamericana de Automática e Informática industrial 16, n.º 4 (20 de setembro de 2019): 381. http://dx.doi.org/10.4995/riai.2019.11648.
Moreno, Héctor A., Roque Saltarén, Lisandro Puglisi, Isela Carrera, Pedro Cárdenas e César Álvarez. "Robótica Submarina: Conceptos, Elementos, Modelado y Control". Revista Iberoamericana de Automática e Informática Industrial RIAI 11, n.º 1 (janeiro de 2014): 3–19. http://dx.doi.org/10.1016/j.riai.2013.11.001.
Mañas-Álvarez, F. J., J. L. Blanco-Claraco, J. L. Torres-Moreno e A. G. Giménez-Fernández. "Modelado y control multivariable del vehículo urbano eléctrico UAL-eCARM". Revista Iberoamericana de Automática e Informática industrial 17, n.º 2 (7 de abril de 2020): 144. http://dx.doi.org/10.4995/riai.2019.12679.
Parra-Ortega, Carlos. "Modelado Conceptual de la Supervisión de un Sistema Holónico de Producción Continua". Lámpsakos, n.º 7 (16 de junho de 2012): 19. http://dx.doi.org/10.21501/21454086.841.
Gualdrón-Guerrero, Oscar Eduardo, Kelvin de Jesús Beleño-Sáenz e Danilo Alfonso López. "Desarrollo de un controlador PID por sintonización difusa aplicado a un sistema rotacional (péndulo invertido)". Revista Facultad de Ingeniería 24, n.º 40 (1 de setembro de 2015): 95–105. http://dx.doi.org/10.19053/01211129.4834.
Galvis-Restrepo, Eduard, Virgilio Vásquez-Lopez e Julián Ferreira-Jaimes. "Motor de reluctancia conmutada: modelado, simulación y control". Respuestas 12, n.º 1 (19 de maio de 2016): 29–37. http://dx.doi.org/10.22463/0122820x.578.
Manilla Garcia, A., I. Rivas Cambero e J. A. Monroy Anieva. "Modelado y Análisis de Sintonización de Velocidad de un MSIP con Presencia de Fisura Mediante Algoritmos Genéticos". Revista Iberoamericana de Automática e Informática industrial 16, n.º 2 (20 de março de 2019): 190. http://dx.doi.org/10.4995/riai.2018.9767.
Andújar, José Manuel, e Antonio Javier Barragán. "Hibridación de sistemas borrosos para el modelado y control". Revista Iberoamericana de Automática e Informática Industrial RIAI 11, n.º 2 (abril de 2014): 127–41. http://dx.doi.org/10.1016/j.riai.2014.03.004.
González, Ramón, Francisco Rodríguez e José Luis Guzmán. "Robots Móviles con Orugas Historia, Modelado, Localización y Control". Revista Iberoamericana de Automática e Informática Industrial RIAI 12, n.º 1 (janeiro de 2015): 3–12. http://dx.doi.org/10.1016/j.riai.2014.11.001.
Teses / dissertações sobre o assunto "Modelado y control":
Larrondo, Lizarraga Antonio. "Generación y control de formas libres en entornos BIM : modelado paramétrico, modelado algorítmico". Doctoral thesis, Universitat Politècnica de Catalunya, 2017. http://hdl.handle.net/10803/457875.
El presente trabajo de tesis pretende explorar e investigar sobre lo que dan de sí estas nuevas herramientas y técnicas instrumentales de modelado, en la generación y el control de las formas libres (modelado conceptual o de masas) de geometrías generalmente complejas sobre entornos BIM, sin olvidar su incorporación al flujo de trabajo dentro del proceso de definición del proyecto arquitectónico y de su integración en la definición del modelo BIM. Lo que permite la comprensión visual holística de todos los elementos constructivos y arquitectónicos del modelo, dando como resultado mayor predictibilidad, disminución de incertidumbres, reduciendo pérdidas y lagunas de información. Es también objeto de estudio de esta tesis el control de dichas formas, su análisis, estudio generativo, su geometría, los parámetros sobre los que se va a generar y gobernar, en definitiva su optimización en base a diferentes criterios y prestaciones establecidos, para tratar de conseguir una mayor eficiencia reduciendo costos e impactos negativos en el medio ambiente. La forma se entiende como resultado de un proceso complejo de análisis y síntesis donde intervienen muchos factores y no como un mero apriorismo. Se describen técnicas para desarrollar este tipo de controles, análisis y gestión en los procesos generativos, que minimizan los factores de incertidumbre y reducen desviaciones posibles entre lo proyectado y lo ejecutado en todas las fases de desarrollo del proyecto. Se analizan dos vías alternativas de modelado que en la actualidad proporcionan los softwares de modelado sobre entornos BIM a saber: el modelado Paramétrico y el modelado Algorítmico de más reciente aparición. Este último necesita de un lenguaje específico propio de programación visual VPL (Visual Programming Language) para su utilización. También se estudian las relaciones y el diálogo bidireccional que puede establecerse entre ambos (software de modelado y software de programación visual) y con otros softwares para el intercambio de información, tales como Hojas de cálculo, Bases de datos y otros (cálculo de estructuras, instalaciones, auditorías energéticas etc.) dando pie a la interoperabilidad propiedad muy favorecida y potenciada por los entornos de trabajo BIM. La incorporación de estas técnicas digitales permite no solo la exploración de nuevas posibilidades de modelado y generación de formas complejas, con posibilidad de realización de una multiplicidad de opciones, simulaciones, comprobaciones, tanteos y análisis de alternativas de su comportamiento real que facilitarán en gran medida la toma de decisiones óptimas, sino la optimización del propio proceso de diseño haciendo cuestión de los métodos tradicionales y tempos de proyectación al uso. Este proceso de tecnificación de la arquitectura abre nuevas vías de exploración y colaboración estrecha en el modelado de formas, permitiendo también dentro de los lenguajes de programación visual VPL, la introducción e incorporación conjunta de código de programación textual convencional (Design Script, Python, C#, etc.) para poder crear nuevas herramientas de diseño personalizadas y automatizar tareas repetitivas, con un considerable ahorro de tiempo respecto de otros tipos de modelado. Se aplican ambas vías alternativas de modelado a un caso práctico de modelado de un edificio muy singular como la Torre Swiss Re de Norman Foster en Londres, donde se ponen de manifiesto las diferentes formas de trabajo, tempos, estrategias de modelado, objetivos perseguidos por cada tipo de modelado y las relaciones bidireccionales de diálogo e intercambio de información que pueden establecerse entre ambos. Así como su incorporación al flujo de trabajo de desarrollo y definición gradual del proyecto.
Gracia, Calandin Luis Ignacio. "Modelado cinemático y control de robots móviles con ruedas". Doctoral thesis, Universitat Politècnica de València, 2008. http://hdl.handle.net/10251/1840.
Gracia Calandin, LI. (2006). Modelado cinemático y control de robots móviles con ruedas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1840
Palancia
Casanova, Calvo Vicente Fermín. "Sistemas de control basados en red. Modelado y diseño de estructuras de control". Doctoral thesis, Universitat Politècnica de València, 2008. http://hdl.handle.net/10251/1864.
Casanova Calvo, VF. (2005). Sistemas de control basados en red. Modelado y diseño de estructuras de control [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1864
Palancia
Solaque, Guzman Leonardo Enrique. "Modelado, control y navegacion para el vuelo autonomo de dirigibles". Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00136325.
Carrero, Candelas Niliana Andreina. "Modelado, simulación y control de un convertidor boost acoplado magnéticamente". Doctoral thesis, Universitat Politècnica de Catalunya, 2014. http://hdl.handle.net/10803/276181.
La presente tesis abarca el modelado, simulación y diseño de una ley de control para un convertidor Boost de inductancias acopladas. En particular, desde el punto de vista de modelado, nos enfocamos en las teoíıas de modelos promediados y sistemas lineales complementarios (LCS), para obtener la dinámica del convertidor Boost de inductancias acopladas, el cual trabaja en modo discontinuo de conducción (DCM). El análisis del convertidor se lleva a cabo asumiendo características ideales de tensión-corriente en el interruptor y los diodos. Además, los modelos obtenidos son validados mediante simulación con el modelo del convertidor proporcionado por la herramienta de simulación para circuitos eléctricos Psim. El interés en la topología de este convertidor se debe principalmente a su alta eficiencia y su elevada tasa de conversión sin necesidad de ciclos de trabajos extremos. Por otra parte, desde el punto de vista de control se propone una arquitectura de control en cascada. El lazo interno del control se compone de una estrategia de control no lineal, similar a la teoría de control en modo de deslizamiento, mientras que para el lazo externo se diseña un control de tipo PI. El principal objetivo del control diseñado es regular el voltaje de salida del convertidor a el valor de referencia deseado. La efectividad y desempeño del controlador diseñado es validada tanto en simulación como experimentalmente ante diferentes escenarios que incluyen perturbaciones en la carga y el voltaje de entrada. Adicionalmente a partir del modelo lineal complementario del convertidor, se lleva a cabo un análisis de la dinámica ideal de deslizamiento y un análisis numérico de la estabilidad cuando se tiene modo de deslizamiento.
Solaque, Guzmán Leonardo Enrique. "Modelado, control y navegación para el vuelo autónomo de dirigibles". Toulouse, INSA, 2007. http://www.theses.fr/2007ISAT0002.
The aims of this thesis are the development of a dynamic model for the LAAS's Karma and los Andes University's UrAn airships, the elaboration of a set of base control laws of speed, altitude and heading in cruise flight, and optimal path planning and its pursuit. This work has been done within the framework of cooperation between the INSA of Toulouse and De los Andes University - Colombia. On the INSA side, this work has been made principally in the Robotic and Artificial Intelligent group of LAAS/CNRS, within the COMETS project. The LAAS robot was already equipped with sensors, an onboard CPU and radiofrequency links as FM and Ethernet whereas a radio-operated airship has been bought by De los Andes University to the Minizzep society. Then, instrumentation and on board CPU with Ethernet radio link have been installed. The first part of the document presents a mathematical model of the blimp dynamics. The analytic description of the model has been deduced from a dynamic and aerodynamic study. In a first time, the model parameters have been taken from precedent work based on wind tunnel experiments. Next to that, an identification of aerodynamic parameters of the grand model and also simplified models (called control model) were made with classical techniques and the Kalman filter as parametric estimator. A third part is devoted to the formulation of control strategies (PID, GPC and non-linear control by extended linearization principally), based on the decoupling of the velocity, the longitudinal and lateral dynamics. When this base controls are formulated, an approach to optimal planning based on the optimal control theory is presented. Two extensions to the initial model of path planning are proposed and their solutions are computed with numerical methods. A control for the following of the generated trajectory has been developed and is presented in the fourth chapter. These different control strategies have been validated by numerous simulation tests with and without wind. The speed and altitude controllers have been tested in the real airship structure (UrAn)
Cuenca, Lacruz Ángel Miguel. "Modelado, análisis y diseño de sistemas de control con muestreo no convencional". Doctoral thesis, Universitat Politècnica de València, 2015. http://hdl.handle.net/10251/55108.
[ES] La Tesis se centra en el estudio de los sistemas muestreados de forma no convencional, cubriendo las fases siguientes: · Modelado: Por un lado, se presenta una serie de leyes de recurrencia basadas en la representación interna, las cuales son deducidas a partir del método de las sustituciones sucesivas sobre las ecuaciones de estado y salida del sistema. Dichas leyes son aplicables a tres escenarios distintos: proceso continuo, proceso continuo antecedido de ZOH y proceso discreto. Por otro lado, se propone un método novedoso de modelado de este tipo de sistemas basado en la representación externa, el cual adopta una aproximación (variable discreta z media) al considerar el caso de muestreo irregular dentro del metaperiodo como una desviación del regular. Finalmente, mediante simulación se comprueba que la aproximación considerada es excelente, comparando la respuesta que para un sistema ofrece el modelado en representación externa con la que se obtiene del modelado en representación interna (siempre más exacto). · Análisis: Se ha considerado tanto el dominio temporal como el frecuencial, trabajando con reguladores tipo P-I-D y siempre desde el punto de vista de la representación interna. Se pone de manifiesto que el patrón de muestreo puede ser considerado como un parámetro más de diseño. Dada la complejidad de estudiar el tema en un entorno de simulación clásico, se ha desarrollado una aplicación en SysQuake que ayuda a llevar a cabo la tarea de análisis de manera más sencilla, al permitir la interactividad. · Diseño: Basándose en la descomposición en frecuencias del controlador con estructura no convencional y en la representación externa, se estudia tres tipos de controladores clásicos distintos: PID, reguladores de cancelación (tiempo mínimo y finito) y de asignación de polos. Se trata de adaptarlos para lograr un funcionamiento apropiado cuando el sistema sobre el que actúen reciba dichas acciones siguiendo un esquema no convencional. Este hecho suele suceder al aparecer retardos en la comunicación controlador-planta. Se pone de manifiesto la mejora que supone sobre las prestaciones del sistema la utilización de este tipo de controladores frente a la utilización de controladores bifrecuencia clásicos, ya que éstos generan sus acciones de control sin tener en cuenta la existencia de posibles retardos. Mediante el uso de Tornado-VxWorks se ha implementado una plataforma de tiempo real que permite verificar los resultados de la
[CAT] La Tesi se centra en l'estudi dels sistemes mostrejats de forma no convencional, cobrint les fases següents: · Modelatge: D'una banda, es presenta una sèrie de lleis de recurrència basades en la representació interna, les quals són deduïdes a partir del mètode de les substitucions successives sobre les equacions d'estat i eixida del sistema. Dites lleis són aplicables a tres escenaris distints: procés continu, procés continu antecedit de ZOH i procés discret. D'altra banda, es proposa un mètode nou de modelatge d'este tipus de sistemes basat en la representació externa, el qual adopta una aproximació (variable discreta z mitjana) al considerar el cas de mostreig irregular dins del metaperiode com una desviació del regular. Finalment, per mitjà de simulació es comprova que l'aproximació considerada és excel·lent, comparant la resposta que per a un sistema oferix el modelatge en representació externa amb la que s'obté del modelatge en representació interna (sempre més exacte). · Anàlisi: S'ha considerat tant el domini temporal com el freqüencial, treballant amb reguladors tipus P-I-D i sempre des del punt de vista de la representació interna. Es posa de manifest que el patró de mostreig pot ser considerat com a un paràmetre més de disseny. Donada la complexitat d'estudiar el tema en un entorn de simulació clàssic, s'ha desenrotllat una aplicació en SysQuake que ajuda a dur a terme la tasca d'anàlisi de manera més senzilla, al permetre la interactivitat. · Disseny: Basant-se en la descomposició en freqüències del controlador amb estructura no convencional i en la representació externa, s'estudia tres tipus de controladors clàssics distints: PID, reguladors de cancel·lació (temps mínim i finit) i d'assignació de pols. Es tracta d'adaptar-los per a aconseguir un funcionament apropiat quan el sistema sobre el qual actuen reba dites accions seguint un esquema no convencional. Este fet sol succeir a l'aparéixer retards en la comunicació controlador-planta. Es posa de manifest la millora que suposa sobre les prestacions del sistema la utilització d'este tipus de controladors enfront de la utilització de controladors bifreqüència clàssics, ja que estos generen les seues accions de control sense tindre en compte l'existència de possibles retards. Per mitjà de l'ús de Tornado-VxWorks s'ha implementat una plataforma de temps real que pe
Cuenca Lacruz, ÁM. (2004). Modelado, análisis y diseño de sistemas de control con muestreo no convencional [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/55108
Vallverdú, Ferrer Montserrat. "Modelado y simulación del sistema de control cardiovascular en pacientes con lesiones coronarias". Doctoral thesis, Universitat Politècnica de Catalunya, 1993. http://hdl.handle.net/10803/5949.
Neto, Augusto Amato. "Efeitos do comportamento verbal modelado e instruído sobre a escolha de modalidades esportivas em um jogo de videogame". Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/47/47132/tde-09022011-153128/.
The present study evaluated the effects of shaping a response class (differential reinforcement for the choice of qualifying phrases related to sports modalities) upon another class (the choice of the sports modalities in a videogame). Four sports modalities were available in free choice sessions that displayed games and photographs before the choice for the phrase shaping. The least chosen modality on the baseline game sessions defined the verbal shaping criterion for each participant, becoming the target modality. Four qualifying phrases made up each attempt of verbal shaping. When the target modality was chosen, points were delivered. When 100 per cent of the choices made were successful en relation to the target modality, free choice sessions of games and photographs tested the shaping effects. From the eight children who were submitted to the procedure only one presented an increase on the time spent on the target modality. Four participants whose shaping was not followed by the game behavior on the target modality were instructed to play on the target modality. Under these conditions, the results point to a higher efficacy of instructions in opposition to verbal shaping in terms of being followed by the corresponding non-verbal behavior. The arrangement of the photographs chosen was modified after the verbal shaping sessions for six out of the eight participants. The results were discussed according to the stimulus control concept applied to verbally governed behaviors classified according to three types of control, namely: null, transitory and marking effects of the shaped and instructed verbal behavior
Dezani, Henrique. "Otimização do fluxo do tráfego urbano modelado em redes de Petri utilizando algoritmo genético". [s.n.], 2012. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260782.
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação
Made available in DSpace on 2018-08-21T16:34:47Z (GMT). No. of bitstreams: 1 Dezani_Henrique_D.pdf: 4299449 bytes, checksum: 739b593ddd96b9124b1882d5510a0ce0 (MD5) Previous issue date: 2012
Resumo: O controle do tráfego urbano constitui um importante tópico de pesquisa nos dias atuais. De fato, a cada dia aumenta a quantidade de veículos trafegando nas vias urbanas, as quais nem sempre são modificadas para a melhoria do tráfego. A existência de transportes públicos também não resolve o problema, visto que estes disputam o espaço nas vias com os demais veículos. Na literatura, foram encontrados diversos trabalhos que tentam resolver este problema reajustando o tempo semafórico das interseções ou, de maneira isolada, definindo rotas para um veículo. Neste projeto é apresentada uma nova maneira de abordar o problema, por meio do desenvolvimento de um sistema que otimiza o fluxo do tráfego urbano, em tempo real, ao explorar as possíveis rotas para cada veículo trafegando em uma determinada área urbana, utilizando análises em rede de Petri, e, então, a partir de um Algoritmo Genético, definir as rotas que diminuam o tempo e/ou tamanho das filas formadas nestas vias. Ainda neste trabalho, diversos testes são efetuados sobre o sistema desenvolvido, comprovando sua eficiência em relação às técnicas existentes
Abstract: Urban traffic control is an important research topic in the present days. In fact, everyday, the amount of vehicles traveling on urban roads increases. Moreover, such roads are not always modified for traffic improvement. Also, the availability of public transportation does not solve the problem, since they compete for space on the roads with other vehicles. Several papers have been found in the literature that attempt to solve this problem by either readjusting the traffic light time in intersections or isolately defining routes for a vehicle . This thesis presents a new way to approach the problem through the development of a system that optimizes the urban traffic stream, in real time, exploring possible routes for each vehicle traveling on a given urban area using Petri net analysis, and then, with a Genetic Algorithm, defines routes which reduce the time and/or size of the queues formed in such lanes. Also in this work, several tests are performed on the developed system, proving its efficiency with respect to existing techniques
Doutorado
Eletrônica, Microeletrônica e Optoeletrônica
Doutor em Engenharia Elétrica
Livros sobre o assunto "Modelado y control":
Morales, Hugo Rodas. Huanchaca: Modelo político-empresarial de la cocaína en Bolivia. La Paz, Bolivia: Plural Editores, 1996.
Medina, Manuel Alberto Restrepo, Peter Dineiger, Andrea Guzmán Bocanegra, Erwin Santamaría Ariza e Carlos Ariel Sánchez Torres. Control fiscal territorial: Construcción de un modelo de contraloría tipo : informe final de investigación. [Bogotá D.C: Editorial Universidad del Rosario], 2008.
Peña, Blanca Estela Ramírez. Los institutos jurídicos de control del sector público nacional: Propuesta de un modelo institucional. Asunción, Paraguay: Intercontinental Editora, 2000.
Cirrone, Silvana. Le regole dei giochi: Per un modello procedurale di razionalità : Habermas contro Habermas. Catania: Edizioni del Prisma, 1998.
Service, United States Food Safety and Inspection. Modelo HACCP general para productos crudos, sin moler, de carne y aves. Washington, DC: USDA Food Safety and Inspection Service, 1999.
Vera, Roberto Garduño. Modelo bibliográfico basado en formatos de intercambio y en normas internacionales orientado al control bibliográfico universal. México, D.F: Universidad Nacional Autónoma de México, Centro Universitario de Investigaciones Bibliotecológicas, 1996.
Morás, Luis Eduardo. Los hijos del Estado: Fundación y crisis del modelo de protección-control de menores en Uruguay. Montevideo, Uruguay: Departamento de Sociología de la Facultad de Ciencias Sociales, 1992.
Pedrinha, Roberta Duboc. Sexualidade, controle social e práticas punitivas: Do signo sacro religioso ao modelo científico médico higienista. Rio de Janeiro: Editora Lumen Juris, 2009.
Ochoa, José Luis Caballero. La interpretación conforme el modelo constitucional ante los tratados internacionales sobre derechos humanos y el control de convencionalidad. México, D.F.]: Editorial Porrúa, 2014.
Mesa, Gloria Patricia Lopera. Principio de proporcionalidad y ley penal: Bases para un modelo de control de constitucionalidad de las leyes penales. Madrid: Centro de Estudios Políticos y Constitucionales, 2006.
Capítulos de livros sobre o assunto "Modelado y control":
van der Schaft, Arjan. "Analysis and Design of Interconnected Systems: A Systems and Control Perspective". In ModelEd, TestEd, TrustEd, 316–32. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68270-9_16.
Øksendal, Bernt, e Agnès Sulem. "Financial Markets Modeled by Jump Diffusions". In Applied Stochastic Control of Jump Diffusions, 27–53. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-02781-0_2.
Li, Fanbiao, Peng Shi e Ligang Wu. "Fault Detection for Underactuated Manipulators Modeled by MJS". In Studies in Systems, Decision and Control, 171–93. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47199-0_9.
Shen, Qikun, Bin Jiang e Peng Shi. "Neural Network-Based Fault Tolerant Control Scheme Against Un-modeled Fault". In Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach, 163–90. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-52530-3_7.
Rafajłowicz, Wojciech. "Optimality conditions for optimal control problems modeled by integral equations." In Advances in Intelligent Systems and Computing, 108–17. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60699-6_12.
Liebrenz, Timm, Paula Herber e Sabine Glesner. "Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink". In Lecture Notes in Computer Science, 307–25. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61467-6_20.
Liebrenz, Timm, Paula Herber e Sabine Glesner. "Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X". In Formal Methods and Software Engineering, 89–105. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5_6.
Isles, Adrian J., Ramin Hojati e Robert K. Brayton. "Computing reachable control states of systems modeled with uninterpreted functions and infinite memory". In Computer Aided Verification, 256–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028750.
Tonne, Jens, e Olaf Stursberg. "Constrained Model Predictive Control of Processes with Uncertain Structure Modeled by Jump Markov Linear Systems". In Variable-Structure Approaches, 335–61. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31539-3_12.
Sgambati, Domenico, Erica Moura, Ala Eddine Said, Laura Rueda, Etienne Hoarau, Lidija Pribelja, Daniels Kļaviņš, Alba Fagnano, Antonella de Angelis e Antonino Miccio. "Monitoraggio, conservazione e informazione nella Baia Di Ieranto: un modello circolare per la gestione delle Aree Marine Protette". In Proceedings e report, 597–609. Florence: Firenze University Press, 2020. http://dx.doi.org/10.36253/978-88-5518-147-1.60.
Trabalhos de conferências sobre o assunto "Modelado y control":
Falcón, Pablo, Miguel Cerdeira, Emma Delgado, Miguel Díaz-Cacho e Antonio Barreiro. "Modelado y control reset de una planta ABS experimental". In XXXIX Jornadas de Automática. Universidade da Coruña. Servizo de Publicacións, 2020. http://dx.doi.org/10.17979/spudc.9788497497565.0680.
Lampón, Cristina, Javier Martín, Ramón Costa-Castelló e Muppaneni Lokesh Chowdary. "Construcción y modelado de un prototipo fan & plate para prácticas de control automático". In XXXVIII Jornadas de Automática. Universidade da Coruña. Servizo de Publicacións, 2020. http://dx.doi.org/10.17979/spudc.9788497497749.0465.
Sánchez-Pelegrina, Ana I., Francisco Rodríguez, Isabel Oller, Manuel Berenguel e Sixto Malato. "Modelado y control de una planta piloto de nanofiltración aplicada a la reutilización de aguas residuales en agricultura". In XXXIX Jornadas de Automática. Universidade da Coruña. Servizo de Publicacións, 2020. http://dx.doi.org/10.17979/spudc.9788497497565.0475.
Toscano Moreno, Manuel, Alberto Arregui, Anthony Mandow e Alfonso García-Cerezo. "Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino". In XL Jornadas de Automática. Universidade da Coruña. Servizo de Publicacións, 2020. http://dx.doi.org/10.17979/spudc.9788497497169.617.
C. E. Huera, Paolo, Lauro F. S. Neto, João M. T. Amaral, André G. P. Alves e Robson F. S. Dias. "Controle Dinâmico de Matriz aplicado a Inversores Fonte de Tensão". In Simpósio Brasileiro de Sistemas Elétricos - SBSE2020. sbabra, 2020. http://dx.doi.org/10.48011/sbse.v1i1.2323.
MATTOS, EVERSON, RENAN MEDKE, ROBERT UILIAM MARIN VIARO, LUCAS CIELO BORIN, CAIO RUVIARO DANTAS OSóRIO, GUSTAVO GUILHERME KOCH e VINíCIUS FOLETTO MONTAGNER. "Um Procedimento de Projeto de Controladores PID para Conversores CC-CC com Validação em Hardware-in-the-Loop". In Seminar on Power Electronics and Control (SEPOC 2021). sepoc, 2021. http://dx.doi.org/10.53316/sepoc2021.052.
Siqueira, Regiane Aparecida Nunes de, Fernando Da Silva Borges, Kelly Cristiane Iarosz e Antonio Marcos Batista. "Câncer cerebral modelado matematicamente". In DINCON 2013 – Conferência Brasileira de Dinâmica, Controle e Aplicações. SBMAC, 2013. http://dx.doi.org/10.5540/03.2013.001.01.0034.
Koshiyama, Adriano S., Marley M. B. R. Vellasco e Ricardo Tanscheit. "GPF-control: um modelo fuzzy-genético para problemas de controle". In DINCON 2013 – Conferência Brasileira de Dinâmica, Controle e Aplicações. SBMAC, 2013. http://dx.doi.org/10.5540/03.2013.001.01.0109.
G. Raminelli, Jo˜ao, Elmer L´evano, Marcio A. F. Montezuma, Ricardo Breganon e Alessandro N. Vargas. "Plataforma de ensaios dinˆamicos com amortecedor magneto-reol´ogico: identifica¸c˜ao em modelo de histerese". In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1532.
Almada, Jackson, Lucas J. Frizon, Manoel K. Dutra e Rômulo L. Milhomem. "Aspectos Práticos sobre o Desenvolvimento de um Pêndulo Invertido com Roda de Reação". In Congresso Brasileiro de Automática - 2020. sbabra, 2020. http://dx.doi.org/10.48011/asba.v2i1.1011.
Relatórios de organizações sobre o assunto "Modelado y control":
Melo-Becerra, Ligia Alba, Jorge Hernán Toro-Córdoba e Héctor M. Zárate-Solano. La Inversión en Infraestructura de Transporte. Banco de la República de Colombia, dezembro de 2020. http://dx.doi.org/10.32468/be.1145.