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.
Unified Modeling and Verification of Logic Controllers for Physical Systems
2005 Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian
Unified modeling of control software and physical plants
2005 Secchi, Cristian; Fantuzzi, Cesare; Bonfe', M.
Value chain vs life cycle approach for product extensions
2016 Cutrona, G.; Margini, A.; Fantuzzi, C.
Variable admittance control preventing undesired oscillating behaviors in physical human-robot interaction
2017 Landi, Chiara Talignani; Ferraguti, Federica; Sabattini, Lorenzo; Secchi, Cristian; Bonfe', Marcello; Fantuzzi, Cesare
Variable delay in scaled port-Hamiltonian telemanipulation
2006 Secchi, Cristian; Stramigioli, S; Fantuzzi, Cesare
Variable Structure PID Based Visual Servoing for Robotic Tracking and Manipulation
2002 M., Bonfè; E., Mainardi; Fantuzzi, Cesare
Verification and Validation based on the generation of Testing Sequences from Timing Diagram Specifications in Industrial Automation
2015 Racchetti, L; Fantuzzi, C; Tacconi, L
Verification of Behavioral Substitutability in Object-oriented Models for Industrial Controllers
2005 Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian
Verification of Fault Tolerance of Discrete-Event Object-Oriented Models using Model Checking
2008 Bonfe', M; Fantuzzi, Cesare; Secchi, Cristian
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
- Atti di CONVEGNO 209
- Atti di CONVEGNO::Relazione in At... 209
Data di pubblicazione
- 2020 - 2022 4
- 2010 - 2019 105
- 2000 - 2009 76
- 1992 - 1999 24
Editore
- IEEE 60
- Institute of Electrical and Elect... 41
- Elsevier 15
- IEEE Computer Society 11
- IFAC Secretariat 8
- Elsevier B.V. 6
- ELSEVIER SCIENCE BV 6
- ASME 5
- IFAC 5
- ANIPLA 3
Rivista
- PROCEEDINGS - IEEE INTERNATIONAL ... 3
- PROCEEDINGS OF THE ... IEEE/RSJ I... 3
- IFAC-PAPERSONLINE 1
- PROCEEDINGS OF THE IEEE CONFERENC... 1
- SAE TECHNICAL PAPER 1
Serie
- IFAC PROCEEDINGS VOLUMES 24
- PROCEEDINGS - IEEE INTERNATIONAL ... 19
- IFAC-PAPERSONLINE 16
- PROCEEDINGS OF THE ... IEEE/RSJ I... 10
- IEEE INTERNATIONAL CONFERENCE ON ... 7
- PROCEEDINGS IEEE INTERNATIONAL CO... 7
- PROCEEDINGS OF THE IEEE CONFERENC... 5
- PROCEEDINGS OF THE ANNUAL CONFERE... 4
- PROCEEDINGS OF THE AMERICAN CONTR... 3
- CEUR WORKSHOP PROCEEDINGS 2
Keyword
- Control and Systems Engineering 16
- Fuzzy Control 12
- Electrical and Electronic Enginee... 11
- Software 11
- Artificial Intelligence 9
- Computer Science Applications1707... 6
- Telerobotics 6
- Automatic Control 5
- Mobile robots 5
- mobile robots 5
Lingua
- eng 207
- ita 2
Accesso al fulltext
- no fulltext 173
- reserved 25
- open 6
- partially open 5