Amir Pnueli and the dawn of hybrid systems

DOI10.1145/1755952.1755953zbMath1360.68005OpenAlexW2153138255MaRDI QIDQ2985894

Oded Maler

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1755952.1755953

zbMATH Keywords

hybrid systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

Related Items (4)

A model of systems with modes and mode transitions ⋮ Control: a perspective ⋮ The Unmet Challenge of Timed Systems ⋮ Languages and models for hybrid automata: a coalgebraic perspective

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Amir Pnueli and the dawn of hybrid systems