Work

Models for hybrid systems: Automata, topologies, controllability, observability

Year: 1993

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Hybrid Systems

DOI: 10.1007/3-540-57318-6_35

Authors: Anil Nerode, Wolf Kohn

Institution: Cornell University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1504756454

FWCI: 10.53

Cites: 65

Cited by: 305

Related to: 10