Luca Benvenuti

Alberto De Santis

IEEE Trans. Aerosp. Electron. Syst., August, 2024

2022

Minimal positive realizations: A survey.

[BibT_eX]

[DOI]

Autom., 2022

2020

An upper bound on the dimension of minimal positive realizations for discrete time systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2020

A lower bound on the dimension of minimal positive realizations for discrete time systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2020

2018

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2015

Characterization of DEM particles by means of artificial neural networks and macroscopic experiments.

[BibT_eX]

[DOI]

Christoph Kloss

Stefan Pirker

Proceedings of the Workshop Proceedings of the 16th International Conference on Engineering Applications of Neural Networks, 2015

2013

Minimal Positive Realizations of Transfer Functions With Real Poles.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem.

[BibT_eX]

[DOI]

Autom., 2013

2012

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 6th International Workshop, 2012

2011

On the reachable set for third-order linear discrete-time systems with positive control: The case of complex eigenvalues.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

On the reachable set for third-order linear discrete-time systems with positive control.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

2008

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.

[BibT_eX]

[DOI]

Alberto Ferrari

Emanuele Mazzi

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Composing hybrid systems.

[BibT_eX]

[DOI]

Alberto Ferrari

Emanuele Mazzi

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2006

Correction to "A Note on Minimality of Positive Realizations".

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2006

Nonnegative matrices in digital signal processing.

[BibT_eX]

[DOI]

Signal Process., 2006

The Geometry of the Reachability Set for Linear Discrete-time Systems with Positive Controls.

[BibT_eX]

[DOI]

SIAM J. Matrix Anal. Appl., 2006

The Positive Realization Problem: Past and Future Challenges.

[BibT_eX]

[DOI]

Proceedings of the Positive Systems, 2006

Idle Speed control - a Benchmark for Hybrid System Research1.

[BibT_eX]

[DOI]

Tiziano Villa

Françoise Lamnabhi-Lagarrigue

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Hybrid Control of Networked Embedded Systems.

[BibT_eX]

[DOI]

Karl Henrik Johansson

John Lygeros

Manfred Morari

Georgios Papafotiou

Fortunato Santucci

Olaf Stursberg

Eur. J. Control, 2005

Hybrid Systems in Automotive Electronics Design.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

A tutorial on the positive realization problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2004

Eigenvalue regions for positive systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2004

Improving reachability analysis of hybrid automata for engine control.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Minimal positive realizations: a survey of recent results and open problems.

[BibT_eX]

[DOI]

Kybernetika, 2003

Individual cylinder characteristic estimation for a spark injection engine.

[BibT_eX]

[DOI]

Stefano Di Gennaro

Autom., 2003

Observability for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Positive and compartmental systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2002

Linear programming approach to constrained feedback control.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2002

On model consistency in compartmental systems identification.

[BibT_eX]

[DOI]

Alberto De Santis

Autom., 2002

Design of Observers for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Embedding a-priori positivity in systems modelling.

[BibT_eX]

[DOI]

Alberto De Santis

Proceedings of the American Control Conference, 2002

How many compartments do we really need? [LTI systems].

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

A hybrid observer for the driveline dynamics.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

2000

Automotive engine control and hybrid systems: challenges and opportunities.

[BibT_eX]

[DOI]

Claudio Pinello

Proc. IEEE, 2000

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Hybrid controller synthesis for idle speed management of an automotive engine.

[BibT_eX]

[DOI]

Tiziano Villa

Howard Wong-Toi

Proceedings of the American Control Conference, 2000

1999

A case study of hybrid controller synthesis of a heating system.

[BibT_eX]

[DOI]

Proceedings of the 5th European Control Conference, 1999

1997

Polyhedral reachable set with positive controls.

[BibT_eX]

[DOI]

Math. Control. Signals Syst., 1997

1996

Discrete-time filtering via charge routing networks.

[BibT_eX]

[DOI]