Search
Search Constraints
You searched for: Author/Creator Boskos, Dimitris- Boskos, Dimitris [remove] 4
- 629.805 4
- Automatic control -- Periodicals 4
- Automation -- Periodicals 2
- Abstractions -- Multi-agent systems -- Hybrid systems 1
- Automatic control -- Mathematics -- Periodicals 1
- Control theory -- Periodicals 1
- Electronic journals 1
- Hybrid systems -- Multi-agent systems -- Transition systems 1
- Multi-agent systems -- Cooperative control -- Hybrid systems -- Formal verification -- Timed logics -- Abstractions -- Discrete event systems 1
- Reachability analysis -- verification -- abstraction of hybrid systems -- Multi-agent systems -- Decentralized control 1