grant
CPS: Small: Lifted Hybridization: A New Representation for Efficient Control and Verification of Cyber-Physical Systems
Organization Regents of the University of Michigan - Ann ArborLocation ANN ARBOR, United StatesPosted 1 May 2025Deadline 30 Apr 2028
NSFUS FederalResearch GrantScience FoundationMI
Description preview
Modern cyber-physical systems operate in unpredictable environments, exhibit complex behaviors, and are controlled by sophisticated computer algorithms. In safety-critical domains such as aviation and automotive systems, behaviors of cyber-physical systems are subject to stringent requirements both on safety and performance. This project seeks…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click