Skip to main content
English
Italiano
Search form
Search
legibility:
standard
|
enhanced
Department of Computer, Control and Management Engineering
Toggle navigation
Department
Contacts
Foreword
How to reach us
Management
People
Structures
Laboratories
Classrooms
Library
Teaching
Study programs
PhD programs
Teaching laboratories
Multimedia
Research
Overview
Research areas
Research Laboratories
Seminars and events
Research reports
DIAG Reports
Technical reports
interdepartmental centers
Spin-offs
Public engagement
News
News
Events calendar
DIAG on media
Seminars & events
Home
»
Tipologia Iris
»
04b Atto Di Convegno Volume
04b Atto di convegno in volume
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
The Importance of Being Positive: Admissible Dynamics for Positive Systems
Composing hybrid systems
Contract-based design for computation and verification of a closed-loop hybrid system
A contract-based formalism for the specification of heterogeneous systems
Reachability computation for hybrid systems with Ariadne
The positive realization problem: past and future challenges
Idle speed control - a benchmark for hybrid system research
Actual engaged gear identification: a hybrid observer approach
Hybrid systems in automotive electronics design
« first
‹ previous
…
316
317
318
319
320
321
322
323
324
…
next ›
last »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
