RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Synthesis of state-feedback optimal controllers for switched linear systems
2002-01-01 Bemporad, A; Giua, Alessandro; Seatzu, Carla
Tandem active-passive suspension design with constraints on the forces
1998-01-01 Giua, Alessandro; Savastano, A; Seatzu, Carla; Usai, G.
The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transition Nets
2001-01-01 Giua, Alessandro; Seatzu, Carla
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks
2018-01-01 Wardi, Y.; Seatzu, C.; Egerstedt, M.
Unitary-rate Hybrid Petri Nets
2000-01-01 Balduzzi, F; Di Febbraro, A; Giua, Alessandro; Seatzu, Carla
Verification of current-state opacity using Petri nets
2015-01-01 Tong, Y.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Verification of initial-state opacity in Petri nets
2015-01-01 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro
Verification of language-based opacity in Petri nets using verifier
2016-01-01 Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Synthesis of state-feedback optimal controllers for switched linear systems | 1-gen-2002 | Bemporad, A; Giua, Alessandro; Seatzu, Carla | - | - |
Tandem active-passive suspension design with constraints on the forces | 1-gen-1998 | Giua, Alessandro; Savastano, A; Seatzu, Carla; Usai, G. | - | - |
The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transition Nets | 1-gen-2001 | Giua, Alessandro; Seatzu, Carla | - | - |
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks | 1-gen-2018 | Wardi, Y.; Seatzu, C.; Egerstedt, M. | - | Elsevier B.V. |
Unitary-rate Hybrid Petri Nets | 1-gen-2000 | Balduzzi, F; Di Febbraro, A; Giua, Alessandro; Seatzu, Carla | - | - |
Verification of current-state opacity using Petri nets | 1-gen-2015 | Tong, Y.; Li, Z.; Seatzu, Carla; Giua, Alessandro | - | - |
Verification of initial-state opacity in Petri nets | 1-gen-2015 | Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro | - | - |
Verification of language-based opacity in Petri nets using verifier | 1-gen-2016 | Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro | - | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 158
- 4 Contributo in Atti di Convegno ... 158
Data di pubblicazione
- In corso di stampa 1
- 2020 - 2023 6
- 2010 - 2019 55
- 2000 - 2009 82
- 1998 - 1999 14
Editore
- Institute of Electrical and Elect... 5
- Elsevier B.V. 4
- Institute of Electrical and Elect... 3
- IEEE Computer Society 2
- ??? 1
- ELSEVIER 1
- Elsevier 1
- IEEE (Institute of Electrical and... 1
- IEEE, 345 E 47TH ST, NEW YORK, NY... 1
- IEEE, Institute of Electrical and... 1
Rivista
- IFAC-PAPERSONLINE 1
Serie
- IFAC-PAPERSONLINE 6
- PROCEEDINGS IEEE INTERNATIONAL CO... 2
- PROCEEDINGS OF THE IEEE CONFERENC... 2
- CONFERENCE PROCEEDINGS / IEEE INT... 1
- IEEE INTERNATIONAL CONFERENCE ON ... 1
- LECTURE NOTES IN CONTROL AND INFO... 1
- PROCEEDINGS OF THE ... IEEE CONFE... 1
Keyword
- Petri nets 7
- Control and Systems Engineering 6
- Automata 3
- Control and Optimization 3
- discrete event systems 3
- Observers 3
- Artificial neural networks 2
- Complexity theory 2
- Decision Sciences (miscellaneous) 2
- DES 2
Lingua
- eng 45
Accesso al fulltext
- no fulltext 134
- reserved 19
- open 5