Special issue on analysis and design of hybrid systems