{"id":56464,"date":"2018-03-09T22:44:14","date_gmt":"2018-03-09T22:44:14","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/quantified-real-constraint-solving-using-modal-intervals-with-applications-to-control\/"},"modified":"2018-03-09T22:44:14","modified_gmt":"2018-03-09T22:44:14","slug":"quantified-real-constraint-solving-using-modal-intervals-with-applications-to-control","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/analisis-numerico\/quantified-real-constraint-solving-using-modal-intervals-with-applications-to-control\/","title":{"rendered":"Quantified real constraint solving using modal intervals with applications to control"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pau Herrero Vi\u00f1as <\/strong><\/h2>\n<p>Una restricci\u00f3n real cuantificada, quantified real constraint (qrc) en ingl\u00e9s, es un formalismo matem\u00e1tico que permite modelar un gran n\u00famero de problemas f\u00edsicos representados por sistemas de ecuaciones no-lineales y cuantificados l\u00f3gicos sobre las variables reales. Los qrcs aparecen numeroso campos, com o la ingenier\u00eda de control, la ingenier\u00eda el\u00e9ctrica o la biolog\u00eda. distintos enfoques han sido propuestos para la resoluci\u00f3n de qrcs (p.E.Eliminaci\u00f3n de cuantificadores y m\u00e9todos aproximativos) pero todos ellos presentan importantes limitaciones debido a su complejidad computacional. en esta tesis, se presenta una nueva metodolog\u00eda para la resoluci\u00f3n de qrcs basada en el an\u00e1lisis intervelar modal, una teor\u00eda matem\u00e1tica desarrollada por investigadores de la universidad de barcelona y la universidad de girona. Respecto a los m\u00e9todos existentes, la metodolog\u00eda propuesta resuelve, de forma eficiente, una amplia clase de qrcs.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Quantified real constraint solving using modal intervals with applications to control<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Quantified real constraint solving using modal intervals with applications to control <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pau Herrero Vi\u00f1as <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Girona<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 22\/12\/2006<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Josep Veh\u00ed Casellas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: eric Walter <\/li>\n<li>Jorge Bondia company (vocal)<\/li>\n<li>Rafael Mart\u00ednez gasca (vocal)<\/li>\n<li>luc Jaulin (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pau Herrero Vi\u00f1as Una restricci\u00f3n real cuantificada, quantified real constraint (qrc) en ingl\u00e9s, es un formalismo matem\u00e1tico [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1191,6313,18809,2453],"tags":[124732,56018,56020,124734,124731,124733],"class_list":["post-56464","post","type-post","status-publish","format-standard","hentry","category-analisis-numerico","category-aplicaciones-de-la-logica","category-girona","category-tecnologia-industrial","tag-eric-walter","tag-jorge-bondia-company","tag-josep-vehi-casellas","tag-luc-jaulin","tag-pau-herrero-vinas","tag-rafael-Martinez-gasca"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/56464","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=56464"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/56464\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=56464"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=56464"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=56464"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}