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.
An efficient approach for on-line diagnosis of discrete event systems
2007-01-01 Basile, Francesco; Chiacchio, Pasquale; Gianmaria De, Tommasi
An incremental model repair approach to timed discrete event systems
2017-01-01 Basile, F.; Chiacchio, P.; Coppola, J.
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming
2022-01-01 Basile, F.; Tommasi, G. D.; Motta, C.; Petrillo, A.; Santini, S.
Auction-based mechanisms for the control of vehicles in Smart Logistic Systems
2019-01-01 Basile, F.; Chiacchio, P.; Di Marino, E.
Automated generation of a simulation model for the decentralized control of automated warehouse systems
2018-01-01 Basile, F.; Chiacchio, P.; Di Marino, E.
Automated implementation of Petri Nets on PLCs with OOP
2014-01-01 Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego
Automated warehouse systems: A cyber-physical system perspective
2015-01-01 Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda; Gerbasio, Diego
Colored Hybrid Petri-nets for modeling material handling systems
2011-01-01 Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Compact and decentralized supervisors for general constraint enforcement in Petri net models
2013-01-01 Basile, Francesco; Roberto, Cordone; Luigi, Piroddi
Control design for timed Petri nets based on LMIs and structure expansion
2018-01-01 Mbaye, A; Lefebvre, D; Basile, F
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 convegno(ex ... 77
- 4 Contributo in Atti convegno(ex ... 77
Data di pubblicazione
- 2020 - 2022 8
- 2010 - 2019 41
- 2000 - 2009 26
- 1998 - 1999 2
Editore
- IEEE 37
- Institute of Electrical and Elect... 12
- IFAC 9
- Elsevier B.V. 8
- Institute of Electrical and Elect... 5
- Institute of Electrical and Elect... 2
- IEEE (Institute of Electrical and... 1
- IEEE Computer Society 1
- IFAC International Federation of ... 1
- IFAC Secretariat 1
Rivista
- IFAC-PAPERSONLINE 4
- PROCEEDINGS IEEE INTERNATIONAL CO... 3
- IEEE INTERNATIONAL CONFERENCE ON ... 1
- IFAC PROCEEDINGS VOLUMES 1
- PROCEEDINGS OF THE AMERICAN CONTR... 1
Serie
- IFAC-PAPERSONLINE 4
- PROCEEDINGS OF THE IEEE CONFERENC... 3
- PROCEEDINGS IEEE INTERNATIONAL CO... 2
- CONFERENCE PROCEEDINGS / IEEE INT... 1
- MEDITERRANEAN CONFERENCE ON CONTR... 1
Keyword
- Control and Systems Engineering 11
- Petri nets 9
- Control and Optimization 5
- ILP problems 5
- Time Petri nets 5
- Computer Networks and Communications 4
- DES 4
- Discrete event systems 4
- Electrical and Electronic Enginee... 4
- Automation 3
Lingua
- eng 72
Accesso al fulltext
- no fulltext 77