2012
[ACD12] W. Aggoune, B. Castillo, and S. Di Gennaro, Self Triggered Robust Control of Nonlinear Stochastic Systems, Proceedings of the 51st Conference on Decision and Control, Maui, Hawaii, USA, pp. 7547-7552, 2012.
[ANDG12] S. Althunibat, S. Narayanan, M. Di Renzo, F. Granelli, “On the Energy Consumption of the Decision-Fusion Rules in Cognitive Radio Networks”, IEEE Int. Workshop on Computer–Aided Modeling Analysis and Design of Communication Links and Networks, pp. 125-129, Sept. 2012.
[BPDB12a] A. Borri, G. Pola and M.D. Di Benedetto. A symbolic approach to the design of nonlinear networked control systems. Hybrid Systems: Computation and Control 2012, pp. 255-264, I. Mitchell and T. Dang (Eds.), 2012.
[BPDB12b] A. Borri, G. Pola and M.D. Di Benedetto. Symbolic models for nonlinear control systems affected by disturbances. International Journal of Control, 85(10):1422-1432, September, 2012.
[BPDB12c] A. Borri, G. Pola, M.D. Di Benedetto. Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems. 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10-13 2012.
[CCD12] M. Cappelli, B. Castillo-Toledo, S. Di Gennaro, N. Muellner, and M. Sepielli, Pressurizer Pressure Control in Pressurized Water Reactors: Performance Study of the Control Systems in the Presence of a Turbine Trip, Proceedings of the 8th International Conference on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, pp. 841-852, San Diego, CA, USA, July 22-26, 2012.
[CDJ12] B. Castillo-Toledo, S. Di Gennaro, and F. Jurado, Trajectory Tracking for a Quadrotor via Fuzzy Regulation, Proceedings of the World Automation Congress 2012 - WAC 2012, Puerto Vallarta, Mexico, pp. 1-6, June 24-28, 2012.
[CD12] Caravani P., De Santis E (2012). On distributed mode-observability of multimodal systems. In: IEEE 51st Annual Conference on Decision and Control (CDC), 10-13 Dec. 2012. p. 2226-2231 Mauii, Hawai, 10-13 Dec. 2012.
[CDS12] B. Castillo-Toledo, S. Di Gennaro, and G. Sandoval Castro, On the Problem of Stabilization for Linear Systems with Time-Delays, Proceedings of the 2012 American Control Conference, Montreal, Quebec, Canada, pp. 4691-4696, 2012.
[CFRS12a] M. Colizza, M. Faccio, C. Rinaldi, and F. Santucci. A component-based architecture for protocol design and development in SDR frameworks. In SDR'12 WInnComm Europe Forum, Bruxelles, 27-29 June 2012.
[CFRS12b] M. Colizza, M. Faccio, C. Rinaldi, and F. Santucci. A Methodology to Design an Advanced Framework for Efficient Modelling and Testing of MANETs. In Proc. of IEEE Wireless Telecommunications Symposium (WTS'12), London, April 2012.
[CMD12] Vittorio Cortellessa, Henry Muccini, Onur Demirörs (Eds.): 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2451-9.
[CPSP+12] M. Colizza, M. Pratesi, F. Santucci, S. Pollio, G. Rigazzi, Performance of OLSR in MANETs with Cross-Layer Metrics and TCP/UDP flows, WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, September 21-23, 2012, Shanghai, China.
[CRI12] M. Colizza, C. Rinaldi, I. J. Senese, A Generalized Waveform Identifier Technique for Software Radio, INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS, CONTROL AND SIGNAL PROCESSING, May 2-4, 2012, Rome, Italy.
[DEGM+12a] Krishna Doddapaneni, Enver Ever, Orhan Gemikonakli, Ivano Malavolta, Leonardo Mostarda, Henry Muccini: A model-driven engineering framework for architecting and analysing Wireless Sensor Networks. SESENA 2012: 1-7.
[DEGM+12b] Krishna Doddapaneni, Enver Ever, Orhan Gemikonakli, Ivano Malavolta, Leonardo Mostarda, Henry Muccini: Path Loss Effect on Energy Consumption in a WSN. UKSim 2012: 569-574.
[DIAK12] A. D'Innocenzo, A. Abate and J.-P. Katoen. Robust PCTL Model Checking. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, pp. 275-286, ISBN: 978-1-4503-1220-2, ACM New York, NY, USA ©, 2012.
[DIRD+12] A. D'Innocenzo, C. Rinaldi, M.D. Di Benedetto and F. Santucci. Hybrid power control on a wireless networked control system. In Proc. of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands. June 6-8, 2012. Invited Session on Networked control systems.
[DMPF+12] P. Di Marco, P. Park, C. Fischione, and K. H. Johansson: Analytical modeling of multi-hop IEEE 802.15.4 networks. IEEE Transactions on Vehicular Technology. 61(7):3191-3208. 2012.
[DRDL+12] M. Di Renzo, D. De Leonardis, F. Graziosi, Space Shift Keying (SSK–) MIMO with Practical Channel Estimates, IEEE Transactions on Communications, 60(4):998-012, 2012.
[DRIG12] M. Di Renzo, M. Iezzi, F. Graziosi, On the Diversity Order and Coding Gain of Multi-Source Multi-Relay Cooperative Wireless Networks with Binary Network Coding, submitted and available at arxiv.org/abs/1109.4599.
[DRMM+12] Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Model-Driven Techniques to Enhance Architectural Languages Interoperability. FASE 2012: 26-42.
[EMMP+12] Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: A model-driven approach to automate the propagation of changes among Architecture Description Languages. Software and System Modeling 11(1): 29-53 (2012).
[FGFC12] F. Federici, F. Graziosi, M. Faccio, A. Colarieti, V. Gattulli, M. Lepidi, F. Potenza. An Integrated Approach to the Design of Wireless Sensor Networks for Structural Health Monitoring. International Journal of Distributed Sensor Networks, Article ID 594842, 2012.
[GDRC+12] A. Guidotti, M. Di Renzo, G. E. Corazza, and F. Santucci, Simplified Expression of the Average Rate of Cellular Networks Using Stochastic Geometry, IEEE International Conference on Communication 2012 (ICC2012), June 2012.
[GRRD12] D. Gómez-Gutiérrez, A. Ramírez-Treviño, J. Ruiz-León, and S. Di Gennaro, On the Observability of Continuous-Time Switched Linear Systems Under Partially Unknown Inputs, IEEE Transactions on Automatic Control, Vol. 57, No. 3, pp. 732-738, March 2012.
[HMMP12] Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: On the Composition and Reuse of Viewpoints across Architecture Frameworks. WICSA/ECSA 2012: 131-140.
[IDRG12a] M. Iezzi, M. Di Renzo, F. Graziosi, Diversity, Coding and Multiplexing Trade-Off of Network-Coded Wireless Cooperative Networks. IEEE International Conference on Communication (ICC), Ottawa, Canada. To appear, June 2012.
[IDRG12b] M. Iezzi, M. Di Renzo, and F. Graziosi, Flexible Network Code Design for Cooperative Diversity, Wireless Communication, ISBN 978-953-7619-X-X, INTECH and Open Access publisher, February 2012.
[JDID+12] R.M. Jungers, A. D'Innocenzo, M.D. Di Benedetto. Feedback stabilization of dynamical systems with switched delays. 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10-13 2012.
[LMB12] Patricia Lago, Henry Muccini, Muhammad Ali Babar: An empirical study of learning by osmosis in global software engineering. Journal of Software: Evolution and Process 24(6): 693-706 (2012).
[MGDR+12] C. Merola, A. Guidotti, M. Di Renzo, F. Santucci, and G. E. Corazza, Average Symbol Error Probability in the Presence of Network Interference and Noise, IEEE International Conference on Communication 2012 (ICC 2012), June 2012.
[MT12] Henry Muccini, Bedir Tekinerdogan: Software architecture tool demonstrations. WICSA/ECSA Companion Volume 2012: 84-85.
[MT12] Raffaela Mirandola, Catia Trubiani: A Deep Investigation for QoS-based Feedback at Design Time and Runtime. ICECCS 2012: 147-156.
[NDGH12] S. Narayanan, M. Di Renzo, F. Graziosi, and H. Haas, “Distributed space shift keying for the uplink of relay–aided cellular networks”, IEEE Int. Workshop on Computer–Aided Modeling Analysis and Design of Communication Links and Networks, pp. 130-134, Sept. 2012.
[PBDB12] G. Pola, A. Borri and M.D. Di Benedetto. Integrated design of symbolic controllers for nonlinear systems. IEEE Transactions on Automatic Control, 57(2):534-539, 2012.
[PDB12] G. Pola, M.D. Di Benedetto. Sequences of Discrete Abstractions for Piecewise Affine Systems. In Proc. of 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 2012.
[PDMP+12]L. Pomante, A. Di Marco, S. Pace, S. Marchesani. “Model-Driven Agent Generation Approach for Adaptable and Resource-Aware Sensor Node”. Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, June 2012.
[PI12] P. Pepe, H. Ito. On Saturation, Discontinuities, and Delays, in iISS and ISS Feedback Control Redesign. IEEE Transactions on Automatic Control, Vol. 57, N. 5, pp. 1125-1140, 2012.
[PP12] G. Pola and G. Pola, A Stochastic Reachability Approach to Portfolio Construction in Finance Industry. IEEE Transactions of Control Systems Technology, 20(1):189-195, January 2012.
[PPDB+12] A. Petriccone, G. Pola, M.D. Di Benedetto, and E. De Santis. Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. In Proc. of 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 2012.
[PPF+12] P. Di Marco, P. Park, C. Fischione, K. H. Johansson, “Analytical Modeling of Multi-hop IEEE 802.15.4 Networks”, IEEE Transactions on Vehicular Technology, Vol. 61, No. 7, pp. 3191–3208, September 2012.
[PPS12] L. Pomante, Marco Pugliese, Fortunato Santucci. “Security Platform over Wireless Sensor Networks”. InTech, Applied Cryptography and Network Security, 2012, ISBN 978-953-51-0218-2.
[PRC12] L. Pomante, C. Rinaldi, D. Ciuca. “A speech indicator for the VoWSN approach”. 5th International Symposium on Communications, Control and Signal Processing, Rome, May 2012.
[PRGT12] L. Pomante, Claudia Rinaldi, Fabio Graziosi, Francesco Tarquini. “RF Sounding: Generating Sounds from Radio Frequencies”. InTech, Management of Technological Innovation in Developing and Developed Countries, 2012, ISBN 978-953-51-0365-3.
[PV12] P. Pepe, E.I. Verriest, Liapunov Criteria for Stability in Lp Norm of Special Neutral Systems, Automatica, Vol. 48, N. 1, pp. 132-138, 2012.
[RDID+12] C. Rinaldi, A. D'Innocenzo, M.D. Di Benedetto and F. Santucci. A framework for modeling wireless embedded control systems. In Proc. of the 5th International Symposium on Communications, Control and Signal Processing, Rome, Italy. May 2-4, 2012.
[SDID+12a] F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. Optimal co-design of control, scheduling and routing in multi-hop control networks. 51st IEEE Conference on Decision and Control, Maui, Hawaii, December 10-13 2012.
[SDID+12b] F. Smarra, A. D'Innocenzo, M.D. Di Benedetto. Fault Tolerant Stabilizability of MIMO Multi-Hop Control Networks. 3rd IFAC Workshop on Estimation and Control of Networked Systems (NecSys'12), Santa Barbara, CA, September 14-15, 2012.
[TBMP12a] Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Assume-Guarantee Testing of Evolving Software Product Line Architectures.SERENE 2012: 91-105.
[TBMP12b] Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012).
[TM12] Antony Tang, Henry Muccini (Eds.): 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012.IEEE 2012, ISBN 978-1-4673-2857-9.
[ZPMT12] M. Zamani, G. Pola, M. Mazo and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. IEEE Transactions on Automatic Control, 57(7):1804-1809, July 2012.