Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Studio ed implementazione di algoritmi per la verifica di sistemi dinamici a tempo discreto affini a tratti e non lineari |
|---|---|
| Titolo del progetto di ricerca in inglese | Study and implementation of algorithms for the automatic verification of piecewise affine and nonlinear discrete time systems |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | - |
| Descrizione sintetica in italiano | Il programma di ricerca riguarda la tematica della verifica del corretto funzionamento di sistemi dinamici a tempo discreto, e, in particolare, affronta il problema di progettare gli ingressi di tali sistemi al fine di fare in modo che alcune variabili di interesse soddisfino una specifica di raggiungibilità su orizzonte finito o di safety su orizzonte infinito. L’obiettivo è sviluppare ed implementare algoritmi efficienti per le due tipologie di specifiche con riferimento alla classe dei sistemi affini a tratti, e di estendere tali algoritmi al caso di dinamica incerta e non lineare generica. |
| Descrizione sintetica in inglese | The research program is concerned with the problem of discrete time systems verification, and, in particular, with the design of the inputs to the system that make it satisfy some specification given in terms of a finite-horizon rechability property or a safety property on an infinite time horizon. The goal is to develop and implement efficient algorithms for these two kinds of specifications for the class of PieceWise Affine (PWA) systems, and then to extend these algorithms to the case when the matrices entering the PWA system description are uncertain or the system has a generic nonlinear dynamic. |
| Data del bando | 05/05/2016 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the call (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di elettronica, Informazione e Bioingegneria |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | MILANO |
| Sito web | http://www.deib.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 10/06/2016 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |